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/6e3a3b1b67e9fd8cea5bf311fa6130ba1549a174?ds=sidebyside;hp=6e3a3b1b67e9fd8cea5bf311fa6130ba1549a174 read_ref doe not need to mutate thanks to @amosonn! ---