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)
commit1d494df45355a7d20ed35e71848b776c9d279210
tree2aeaa9bd30d61479e44524384959f4ed0d3f2e86
parent8450dcc0578ee8f2187d05645d93066866d41310
read_ref doe not need to mutate

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