diff options
| author | Théo Zimmermann | 2018-08-30 10:00:01 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-08-30 10:00:01 +0200 |
| commit | bc4611f372a50cae3e2e466bb1caf09bfa659e2e (patch) | |
| tree | 345d60d22a4403c179c2a39d4756e60e79e0a3f6 /dev/ci/ci-basic-overlay.sh | |
| parent | 0745b31e986b79692e4e282877555963d0f26a8f (diff) | |
| parent | 7fe8212d42e6dee2d117d15f9acbd4c3decfad13 (diff) | |
Merge PR #8349: Mention dev/doc/critical-bugs in CONTRIBUTING
Diffstat (limited to 'dev/ci/ci-basic-overlay.sh')
0 files changed, 0 insertions, 0 deletions