diff --git a/.gitlab/issue_templates/bug_report.md b/.gitlab/issue_templates/bug_report.md index b01c0a798eea16182a8c10988dd03d4c870a5e32..62e77a15383c43c4c96ceec40c053eff506b9dd3 100644 --- a/.gitlab/issue_templates/bug_report.md +++ b/.gitlab/issue_templates/bug_report.md @@ -5,7 +5,8 @@ Please directly edit it inline to provide the required information. Before submitting the issue, please confirm (by adding a X in the [ ]): - [ ] the issue has not yet been reported on [Gitlab](https://git.frama-c.com/pub/frama-c/issues); -- [ ] the issue has not yet been reported on our [BTS](https://bts.frama-c.com); +- [ ] the issue has not yet been reported on our old + [BTS](https://bts.frama-c.com) (*note: the old BTS is deprecated*); - [ ] you installed Frama-C as prescribed in the [instructions](INSTALL.md). # Contextual information