diff options
| author | Emilio Jesus Gallego Arias | 2020-04-28 15:30:33 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-04-28 15:30:33 +0200 |
| commit | 1839b83248ea380f1cecc165d5d9401f9e450784 (patch) | |
| tree | a030cd480b12795ecfad6caf12a17e19025fd7c9 /dev/ci/ci-basic-overlay.sh | |
| parent | 25c7e0cb30a7e196a293df9620bc4b801eaafa27 (diff) | |
| parent | c47bc405275010e442402ead0f843014b7dab3c3 (diff) | |
Merge PR #12189: Fix an ordering bug in the CODEOWNERS file following #11529.
Reviewed-by: ejgallego
Diffstat (limited to 'dev/ci/ci-basic-overlay.sh')
0 files changed, 0 insertions, 0 deletions