add link to reddit (and a tweak)
authorRalf Jung <post@ralfj.de>
Sat, 2 Jul 2022 23:07:43 +0000 (19:07 -0400)
committerRalf Jung <post@ralfj.de>
Sat, 2 Jul 2022 23:07:43 +0000 (19:07 -0400)
commit07ada9f7ce02a138037b161afa9ff5c275297790
treeec53aea2c03fce37b660930745c12bed5873d71b
parent50353b585b0c1c40a5cb1c9780b0293c9c9e5a72
add link to reddit (and a tweak)
personal/_posts/2022-07-02-miri.md