diff options
| author | Enrico Tassi | 2020-12-11 11:15:23 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2020-12-11 11:15:23 +0100 |
| commit | 92204c4c964c1699f2ad3c25104e97ddfc4cc73c (patch) | |
| tree | 4e24d3b407a6ae82738f39c8f6655940fa0cf09e /dev/ci/ci-basic-overlay.sh | |
| parent | 1918f19cb43d6d4313276b167af38316b27879f2 (diff) | |
[changes] mark #12765 as experimental
Diffstat (limited to 'dev/ci/ci-basic-overlay.sh')
0 files changed, 0 insertions, 0 deletions