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)

No differences found