pinning post: tweak wording
authorRalf Jung <post@ralfj.de>
Tue, 10 Apr 2018 11:27:53 +0000 (13:27 +0200)
committerRalf Jung <post@ralfj.de>
Tue, 10 Apr 2018 11:27:53 +0000 (13:27 +0200)
commit0057b0b94b00e247e0e7bbb8ae993e728d88fc46
tree0f470f203dd22222e9e60f3b8d69e3c01ef8ec02
parent2f36d61185842cc8d302fffad86fb06d240e9148
pinning post: tweak wording
personal/_posts/2018-04-05-a-formal-look-at-pinning.md