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)
commit66832489d066896824f9f604d00ba680551d11ab
treed37168b094f9d5c03a90717ec726cac89b1af463
parente3e0399a6fece40c5f8587c73da125a85206a5c3
fix pin API doc links
personal/_posts/2018-04-05-a-formal-look-at-pinning.md