id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
8978	sort out support for building=civic, building=public, amenity=public_building	aceman	team	"There are the values of ""civic"" and ""public"" listed at http://wiki.openstreetmap.org/wiki/Key:building but they do not seem to be offered inside JOSM (and get no Man made/building... header in the ""attributes"" panel). Also in the presets for ""Public buildings"", e.g. townhall, police none of them seem to set the building type (only the amenity).

I see those tags are not used much (http://wiki.openstreetmap.org/wiki/Tag:building%3Dpublic http://wiki.openstreetmap.org/wiki/Tag:building%3Dcivic) and there is much more usage of amenity=public_building . But the wiki says that one should not be used anymore: http://wiki.openstreetmap.org/wiki/Tag:amenity%3Dpublic_building . Can we somehow mark it deprecated in JOSM? Or is the wiki wrong on all this?"	enhancement	closed	normal	16.04	Internal preset	tested	fixed	building	Math1985