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 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs