id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
19541	Disable Travis CI	simon04	team	"Since we (soon) have a working GitHub CI via #19370, shall we disable the broken Travis CI?

https://travis-ci.org/github/openstreetmap/josm"	task	closed	normal	20.11	Unit tests		fixed	github travis ci