Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006231OCamlOCaml generalpublic2013-11-08 16:002013-11-08 16:37
Reporterglondu 
Assigned Tofrisch 
PrioritynormalSeveritytweakReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version4.01.0 
Target VersionFixed in Version4.02.0+dev 
Summary0006231: Typos
DescriptionThe attached patch fixes some typos spotted by Debian QA tools.
TagsNo tags attached.
Attached Filespatch file icon 0009-Fix-typos-and-other-wording-issues.patch [^] (2,893 bytes) 2013-11-08 16:00 [Show Content]

- Relationships

-  Notes
(0010607)
frisch (developer)
2013-11-08 16:36

Thanks! Committed to trunk, rev 14274.

- Issue History
Date Modified Username Field Change
2013-11-08 16:00 glondu New Issue
2013-11-08 16:00 glondu File Added: 0009-Fix-typos-and-other-wording-issues.patch
2013-11-08 16:36 frisch Note Added: 0010607
2013-11-08 16:37 frisch Status new => closed
2013-11-08 16:37 frisch Assigned To => frisch
2013-11-08 16:37 frisch Resolution open => fixed
2013-11-08 16:37 frisch Fixed in Version => 4.02.0+dev


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker