fix some typos
authorRalf Jung <post@ralfj.de>
Tue, 10 Apr 2018 17:24:35 +0000 (19:24 +0200)
committerRalf Jung <post@ralfj.de>
Tue, 10 Apr 2018 17:24:35 +0000 (19:24 +0200)
commit0c401184a0c74f4c0bfa323dbf935fb314c26cf3
tree0ebbb917044ac8f3bd10ab8192b22b5fd8a95fa9
parentedd14eae7f2b72eb094a9bfe1d1407a83da50908
fix some typos
personal/_posts/2018-04-10-safe-intrusive-collections-with-pinning.md