Commit 45c8d3f410157187e12a27e4ebac359870f1fdf3

Patrick Steinhardt 2019-11-05T11:13:34

Merge pull request #5295 from romkatv/fix-diff-res fix a bug introduced in 8a23597b