Frama-C Bug Tracking System - Frama-C
View Issue Details
0002343Frama-CDocumentationpublic2018-01-18 07:552018-01-31 14:46
jens 
signoles 
normalminoralways
closedfixed 
Frama-C 16-Sulfur 
Frama-C 16-Sulfur 
0002343: BTS does not allow do select "Frama-C 16 Sulfur" as "Product Version"
BTS does not allow do select "Frama-C 16 Sulfur" as "Product Version" ...
No tags attached.
Issue History
2018-01-18 07:55jensNew Issue
2018-01-31 14:45signolesProduct Version => Frama-C 16-Sulfur
2018-01-31 14:46signolesStatusnew => resolved
2018-01-31 14:46signolesResolutionopen => fixed
2018-01-31 14:46signolesAssigned To => signoles
2018-01-31 14:46signolesNote Added: 0006513
2018-01-31 14:46signolesStatusresolved => closed
2018-01-31 14:46signolesFixed in Version => Frama-C 16-Sulfur

Notes
(0006513)
signoles   
2018-01-31 14:46   
Fixed. Thank you for reporting it.