provide "Magnesium" product version in the BTS
ID0002204: This issue was created automatically from Mantis Issue 2204. Further discussion may take place here.
|Priority||normal||Severity||minor||Reproducibility||have not tried|
|Product Version||Frama-C GIT, precise the release id||Target Version||-||Fixed in Version||Frama-C Magnesium|
Currently it is not possible to submit "magnesium" bugs to the BTS as it still refers only to Neon and Sodium. (Sorry for posting this here.)
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information