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)
commitda3b05f53793630597adf224e5d553ffa0866144
treec03cbb6dba5ee7a10ab35d853f6aa2d1c9907258
parentbd6ecd78d38ec6ff901fcf01e2e5d7225775ffa6
fix some typos
personal/_posts/2018-04-10-safe-intrusive-collections-with-pinning.md