add Reddit link
authorRalf Jung <post@ralfj.de>
Mon, 28 Sep 2020 17:02:29 +0000 (19:02 +0200)
committerRalf Jung <post@ralfj.de>
Mon, 28 Sep 2020 17:02:29 +0000 (19:02 +0200)
commit98ea116b7ff5f110b6141a6d2d87fb6ec1acaf0b
treed2cc443a666a97cac8431014c69499ba889e18f9
parent50ef5f85f7f20ef43949b5e90bb84119600cf015
add Reddit link
ralf/_posts/2020-09-28-miri.md