The debian package that should be synced is the latest debian version, so it should be fixed. The changelog talks about all these changes, and I see the things you're talking about in the diff-file.
-- widelands: merge new debian version https://launchpad.net/bugs/51526 -- universe-bugs mailing list universe-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/universe-bugs
