Commit ef9e2ed740d8ce0c6a790f813d768db9b3fcc4ed

Stefan Sperling 2020-04-19T10:28:06

fix another typo in git-repository.5