fix pin API doc links
authorRalf Jung <post@ralfj.de>
Sat, 9 Mar 2019 11:58:36 +0000 (12:58 +0100)
committerRalf Jung <post@ralfj.de>
Sat, 9 Mar 2019 11:58:36 +0000 (12:58 +0100)
commit230f0970b2eb93f2c3ebd715bfd7dc2dc66542fe
treeafcca385d4595f236f96a1080b2b38d34ab1796e
parent7ace440eda1fe76778f4b8f5d869bf5aeb1058c9
fix pin API doc links
ralf/_posts/2018-04-05-a-formal-look-at-pinning.md