diff options
| author | Guillaume Melquiond | 2018-10-05 08:27:00 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2018-10-05 08:27:00 +0200 |
| commit | 24c4c71236a6b12e9af6e8505c98e3ef1becb32a (patch) | |
| tree | e12330346f4b199b1fd3776638c3ee2971fb2d4f /.github | |
| parent | e9eabbbab2f3ab5242670b36e5a5445a2fb7e737 (diff) | |
Adapt changes to backported commits.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions