read_ref doe not need to mutate master
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)
commite652538d15d48f5c051f1637d63d6956acc66834
tree59720a9936fec06913140585e2cab90a0a20b4b7
parentfda2235470848f63a605bbe271e044847eeb0ef6
read_ref doe not need to mutate

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