id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
12399	Improve the josm-plugins git mirror	kolesar	team	Build errors were thrown for `ant` or even `ant clean` commands in the plugins directory. There were several directories listed in `build.xml` that do not exist in the repository. Removed corresponding lines from xml.	enhancement	closed	normal		Git mirror		fixed