don't use Option<NonNull> in the example code
authorRalf Jung <post@ralfj.de>
Mon, 9 Apr 2018 12:46:12 +0000 (14:46 +0200)
committerRalf Jung <post@ralfj.de>
Mon, 9 Apr 2018 14:15:04 +0000 (16:15 +0200)
commit1c5b5ee58a76f4dbcb0d6d5603f13df991b274a5
treea46e5c26657b3bff8f9253a8cbf9b63e377ad252
parentc79cd1578b237a9347c413fa53a39c5ae4372a03
don't use Option<NonNull> in the example code
personal/_posts/2018-04-05-a-formal-look-at-pinning.md