From: Ralf Jung <post@ralfj.de>
Date: Wed, 4 Feb 2026 10:20:06 +0000 (+0100)
Subject: add link to Miri talk
X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/c085f53e63f69c049614a05c3a4dd741684c5aee?ds=sidebyside;hp=c085f53e63f69c049614a05c3a4dd741684c5aee

add link to Miri talk
---