new blogpost on pinning
authorRalf Jung <post@ralfj.de>
Thu, 5 Apr 2018 13:31:19 +0000 (15:31 +0200)
committerRalf Jung <post@ralfj.de>
Thu, 5 Apr 2018 13:31:19 +0000 (15:31 +0200)
commitdf0020b6f29349e616eedc3e3d4549f2284c86d1
treedc561cfd53afde2fd1ffa3f18e7b630b4700b3d0
parent371466ca8f2294e1bcc7a16d2be6fbc244cc8784
new blogpost on pinning

also capitalize an old post
personal/_posts/2018-01-21-rustbelt-talk.md
personal/_posts/2018-04-05-a-formal-look-at-pinning.md [new file with mode: 0644]