Commit 813702617f635cd1961973039af0033da6da2167

Patrick Steinhardt 2020-02-19T15:57:39

Merge pull request #5374 from pks-t/pks/diff-with-empty-subtree tests: diff: verify that we are able to diff with empty subtrees