diff options
| author | Pierre-Marie Pédrot | 2021-03-24 11:19:13 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2021-03-24 11:19:13 +0100 |
| commit | e80d2ddc7db13c861c865ed5acf7708f99f125ec (patch) | |
| tree | aaf168349be1f96c05ccd9b89bfb16c1159c8b6f /test-suite | |
| parent | 47c20236f578dca9381822a62b5a406d6b42676d (diff) | |
| parent | cbe88ec043df8dff118e437f00c0299a464c8e8a (diff) | |
Merge PR #13973: Factorize goal selector handling
Reviewed-by: ppedrot
Diffstat (limited to 'test-suite')
0 files changed, 0 insertions, 0 deletions