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)
commit7427f2fb238f7ba39be67cf103475e45bf960ae2
tree942ebc0ccf383c6616b759c96db47bdec7c13ca0
parent30ed45a87c23ef255c4e46877f4180d158146f32
add Reddit link
personal/_posts/2020-09-28-miri.md