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)
commite389a292a554454db8f6cd8b9f4070609645dabc
treee3e0b32b4e18ca7dfab7a404d6189c8bd2afa061
parent60f26802c5ecdcb5b9bb4e9535950dd0f157c8db
new blogpost on pinning

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