diff options
| author | Maxime Dénès | 2019-08-29 19:15:19 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2019-08-29 19:15:19 +0200 |
| commit | 38aa59e1aa2edeca7dabe4275790295559751e72 (patch) | |
| tree | f21408441556dcfb4a46f4cdc05cc318c8654d00 /library | |
| parent | 7153cc3a4d886944f9e09a10ea106cefb1e9d0f8 (diff) | |
| parent | 406fb758fe8d94f987567db4e0c8303faf7c5522 (diff) | |
Merge PR #10693: Create a maintainer team for the contributing process files.
Reviewed-by: ejgallego
Reviewed-by: maximedenes
Diffstat (limited to 'library')
0 files changed, 0 insertions, 0 deletions