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)
commit83fbdba85f8dab0510bd9d15cbeb772f9752e106
tree68e432f869a4aed9a8a80343b2703ba08c2fcc81
parenta5ef80303b7f43d60b56b56597df4813f6cf356d
pinning post: tweak wording
personal/_posts/2018-04-05-a-formal-look-at-pinning.md