id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	include_gantt	dependencies	due_assign	due_close
371	Galaxyツールのtool_idがlower caseに変換されてしまう	t-hatakeyama	t-hatakeyama	"「Cut1」のようなtool_idが「cut1」のように変換されてしまう。

ツールの国際化対応中に入り込んでしまったバグの模様。"	不具合	closed	現マイルストーンで作業の停滞を招く	平成22年度開発	Galaxy		fixed			0		YYYY/MM/DD	YYYY/MM/DD