From: Ralf Jung <post@ralfj.de>
Date: Wed, 25 Jul 2018 10:47:56 +0000 (+0200)
Subject: clarify that what miri does not not a reasonable choice for language semantics
X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/6e9cb706fd83fdfe656134c1f4baf9048d23ec00?hp=6e9cb706fd83fdfe656134c1f4baf9048d23ec00

clarify that what miri does not not a reasonable choice for language semantics
---