From: Ralf Jung Date: Sun, 10 Mar 2019 19:29:45 +0000 (+0100) Subject: read_ref doe not need to mutate X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/1d494df45355a7d20ed35e71848b776c9d279210?ds=inline;hp=1d494df45355a7d20ed35e71848b776c9d279210 read_ref doe not need to mutate thanks to @amosonn! ---