diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2018-05-07 16:44:47 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2018-05-07 16:44:47 +0200 |
| commit | d3f8467c63ae94c28c3939408c4c56446760dd65 (patch) | |
| tree | 687a8a15561ee75e22c78c5329abb3206c9c9b73 /configure.ml | |
| parent | 612ca9e742c3196ea5faad100bb95d9e08ebe07e (diff) | |
| parent | 74179769b290d68fd64003095cd18ecb64bc1308 (diff) | |
Merge PR #7371: Propose some updates of the CODEOWNER file.
Diffstat (limited to 'configure.ml')
0 files changed, 0 insertions, 0 deletions