widelands-dev team mailing list archive

[Jens Beyer <Qcumber-some@xxxxxxxxxxxxx>]

I believe there is nothing to add to hjd's analysis of the past of this topic :-)

Best would be if hjd would merge this. Then we are back on par with official Debian regarding the build settings.
-- 
https://code.launchpad.net/~widelands-dev/widelands/debian-merged-b18-3/+merge/210502
Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/debian.