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)
commit7abe1fa44d4e88c096cc1353b3cc2e10d5c44559
tree570e551a3888663cc93edb58f37a72f5d4e349e7
parent637be140188b46b478c9322aea7132976f89a5ee
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]