Patches
Plain Diff
mentioned in issue #719
By bmortier on 2017-09-02T14:56:49 (imported from GitLab)