Patches
Plain Diff
mentioned in issue #1343
By helfgott on 2017-09-02T15:22:58 (imported from GitLab)