From: Ralf Jung Date: Wed, 25 Jul 2018 10:22:13 +0000 (+0200) Subject: clarify extra-hidden-state-in-memory X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/b8756941fcd45799c686a244b3c36b42a03bc91a?hp=b8756941fcd45799c686a244b3c36b42a03bc91a clarify extra-hidden-state-in-memory ---