Commit bc2196575467e7fef30a445d5ae840350ed0467e

Patrick Steinhardt 2018-12-19T11:01:55

Merge pull request #4833 from csware/drop-empty-dirs Remove empty (sub-)directories when deleting refs