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/e652538d15d48f5c051f1637d63d6956acc66834?hp=e652538d15d48f5c051f1637d63d6956acc66834 read_ref doe not need to mutate thanks to @amosonn! ---