read_ref doe not need to mutate
authorRalf Jung <post@ralfj.de>
Sun, 10 Mar 2019 19:29:45 +0000 (20:29 +0100)
committerRalf Jung <post@ralfj.de>
Sun, 10 Mar 2019 19:29:47 +0000 (20:29 +0100)
commit6e3a3b1b67e9fd8cea5bf311fa6130ba1549a174
treebcd70c54697fc772bf7880e2fed6864497eea4b4
parentbf96d46929808142f276bd6540349b7813049afd
read_ref doe not need to mutate

thanks to @amosonn!
personal/_posts/2018-04-05-a-formal-look-at-pinning.md