Patches
Plain Diff
mentioned in issue #1785
By Thomas Kornack on 2017-09-02T15:38:13 (imported from GitLab)