diff options
| author | Emilio Jesus Gallego Arias | 2020-07-17 17:03:21 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-07-17 17:03:21 +0200 |
| commit | 153454d4f5d802fbcb908d37e75b75df17b3f0fa (patch) | |
| tree | 9eaed40cbd9d4cb9418bb06d3f180057c987d592 /plugins | |
| parent | 2c482e54d68d4689681d9797d9cd0f044f766a29 (diff) | |
| parent | c3f0ebe96ad20e5c96e612f3c767b6f244dd932b (diff) | |
Merge PR #12670: Advertise switch to maintainer teams and credit maintainers.
Reviewed-by: jfehrle
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions