Patches
Plain Diff
mentioned in issue #1318
By Côme Chilliet on 2017-09-02T15:22:04 (imported from GitLab)