Skip to content
Snippets Groups Projects
Commit 99575678 authored by Andre Maroneze's avatar Andre Maroneze
Browse files

[gitlab] Indicate that old BTS is deprecated

parent 5c24c6d8
No related branches found
No related tags found
1 merge request!2[gitlab] Indicate that the old BTS is deprecated
......@@ -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
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment