Patches
Plain Diff
mentioned in issue #748
By Côme Chilliet on 2017-09-02T14:57:38 (imported from GitLab)