widelands (1:20-ppa0-bzr9254-202004130923~ubuntu19.04.1) disco; urgency=low * Auto build. -- Widelands Developers <email address hidden> Mon, 13 Apr 2020 09:23:54 +0000