ID	Type	Status	Priority	Milestone	Owner		Summary + Labels	...
	2	Defect	New	Medium	----	----		Error in DynArray exponential resizer
	4	Patch	Accepted	Medium	Release1.6	----		UTF8.substring function
	5	Defect	New	Medium	----	----		UTF8.{eof,output_uchar} + tests
	6	Defect	Accepted	Medium	Release1.6	jjhellst		Apply Philippe Strauss's patch for writing out 32-bit floats
	7	Defect	Accepted	Medium	Release1.6	jjhellst		Bump up META.txt's version to 1.6.0
	8	Defect	New	Medium	----	----		add IO.scanf
	9	----	New	----	----	----		Patch for installer under Windows
	10	----	Accepted	----	----	brunodanielch		Memory corruption caused by %obj_set_field in dynArray.ml
	11	----	New	----	----	----		IO.from_in_channel doesn't catch End_of_file
	12	----	New	----	----	----		about List.make
	13	----	New	----	----	----		ExtList.(@) is not imported by 'open ExtLib'