Commit 43fb0c2925668ed092bb37f7949b816973b6fbce

Edward Thomson 2020-03-23T10:20:46

Merge pull request #5444 from josharian/issue5428 repository: improve commondir docs