advertise Miri a bit more
authorRalf Jung <post@ralfj.de>
Wed, 26 Dec 2018 16:01:03 +0000 (17:01 +0100)
committerRalf Jung <post@ralfj.de>
Wed, 26 Dec 2018 16:01:03 +0000 (17:01 +0100)
commit8f86a17ac63242f48437c48eb8b1ce1c6653d921
treec8c0ba867c9544e22b3206d6d4aafdded0e180e6
parentb71ba21980f181b1c65dca4d741f09b2ca42e778
advertise Miri a bit more
ralf/_posts/2018-12-26-stacked-borrows-barriers.md