Patches
Plain Diff
mentioned in issue #1449
By Jonathan Swaelens on 2017-09-02T15:26:50 (imported from GitLab)