Patches
Plain Diff
mentioned in issue #1207
By Jonathan Swaelens on 2017-09-02T15:17:54 (imported from GitLab)