diff options
| author | Gaëtan Gilbert | 2018-12-21 13:58:13 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-12-21 13:58:13 +0100 |
| commit | ee98d818791d8f92674934cda02bfcb3667013c9 (patch) | |
| tree | da45b9df79f73485c690dedcd7213c20444478df /dev/ci/README-developers.md | |
| parent | d501e6f301f1c023e57f14ee3441553c530d9394 (diff) | |
| parent | cc72a78df3ef850cb09680ae0d9f90aa4cc91861 (diff) | |
Merge PR #9265: Do not exclude "opened" bugs from report
Diffstat (limited to 'dev/ci/README-developers.md')
0 files changed, 0 insertions, 0 deletions