Patches
Plain Diff
mentioned in issue #825
By bmortier on 2017-09-02T15:00:31 (imported from GitLab)