Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006157OCamlOCaml generalpublic2013-09-04 08:012013-09-11 22:15
Reporterfuruse 
Assigned To 
PrioritynormalSeveritytextReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version4.01.0+beta/+rc 
Target VersionFixed in Version4.01.0+dev 
Summary0006157: open! M is not documented in Changes
DescriptionT/O
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0010339)
doligez (administrator)
2013-09-11 22:15

This was fixed by Gabriel in commit 14088.

- Issue History
Date Modified Username Field Change
2013-09-04 08:01 furuse New Issue
2013-09-11 22:15 doligez Note Added: 0010339
2013-09-11 22:15 doligez Severity major => text
2013-09-11 22:15 doligez Status new => closed
2013-09-11 22:15 doligez Resolution open => fixed
2013-09-11 22:15 doligez Fixed in Version => 4.01.0+dev


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker