ajacoutot 22a94c736b Use diff instead of patch files from GitLab.
These should be static.

hint from sthen@
2019-01-18 20:17:10 +00:00
..
2018-12-22 08:02:30 +00:00
2018-07-06 06:04:41 +00:00