diff options
| author | Gaëtan Gilbert | 2020-03-26 15:08:52 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-03-26 15:08:52 +0100 |
| commit | fde8e449ca4a796e7dee55c6a518e8161e448f23 (patch) | |
| tree | f817534cad8fc19f6f3c2867936a5c792c0dfc74 /dev/ci | |
| parent | 53a84d4e84034d213e86839d05b87a5cd80b4181 (diff) | |
| parent | 5b726cdd242549fd292bc24b6e56073a16e8cf32 (diff) | |
Merge PR #11919: Remove outdated mention of -allow-sprop.
Reviewed-by: SkySkimmer
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions