restructure pinning post a bit
authorRalf Jung <post@ralfj.de>
Mon, 9 Apr 2018 12:11:48 +0000 (14:11 +0200)
committerRalf Jung <post@ralfj.de>
Mon, 9 Apr 2018 12:11:48 +0000 (14:11 +0200)
commita18cd587de26cd1e796f04270becd6009a60b287
tree4a5abdc311f7cf896a3691fa044a992646c2be54
parentf4e5c371954939ed9db9d211834a411cb02403a2
restructure pinning post a bit
ralf/_posts/2018-04-05-a-formal-look-at-pinning.md