Patches
Plain Diff
mentioned in issue #1634
By Jonathan Swaelens on 2017-09-02T15:33:19 (imported from GitLab)