correction after cherry-pick and merge in last commit
[unres.git] / git-daemon-export-ok