provide "Magnesium" product version in the BTS

ID0002204: This issue was created automatically from Mantis Issue 2204. Further discussion may take place here.

Id	Project	Category	View	Due Date	Updated
ID0002204	Frama-C	Documentation	public	2016-01-26	2016-06-21


Reporter	jens	Assigned To	signoles	Resolution	fixed
Priority	normal	Severity	minor	Reproducibility	have not tried
Platform	-	OS	-	OS Version	-
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