fix subtyping typo
authorRalf Jung <post@ralfj.de>
Sun, 4 Feb 2018 09:22:03 +0000 (10:22 +0100)
committerRalf Jung <post@ralfj.de>
Sun, 4 Feb 2018 09:22:03 +0000 (10:22 +0100)
commitd4d1b2f0ebe6d8f2684ca1c9ec6fe0dc27c62feb
tree64b468190b4b8714de288ae925fe09328a402045
parent7eb29c4567e824e5adb375056b80bea94fd5fd9b
fix subtyping typo
ralf/_posts/2018-01-31-sharing-for-a-lifetime.md