Commit 70325370667370159d5b85690c6dd5db17be3b20

Patrick Steinhardt 2019-09-27T11:16:02

Merge pull request #5106 from tiennou/fix/ref-api-fixes git_refdb API fixes