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