Thanks martin. Jens, could you apply this patch then?
http://anonscm.debian.org/gitweb/?p=pkg-games/widelands.git;a=blobdiff;f=debian/rules;h=2affd4374e33bb967d8a7f355c431f271aee3efa;hp=64beaa47405397d92383bd6348b5e62a36ae1d82;hb=788f597602443038c0702fddb9fa345bfcf94484;hpb=a4e020f028c5d852d4c2074017da55b5113c45cd -- https://code.launchpad.net/~qcumber-some/widelands/bug1287241/+merge/209091 Your team Widelands Developers is requested to review the proposed merge of lp:~qcumber-some/widelands/bug1287241 into lp:~widelands-dev/widelands/debian. _______________________________________________ Mailing list: https://launchpad.net/~widelands-dev Post to : [email protected] Unsubscribe : https://launchpad.net/~widelands-dev More help : https://help.launchpad.net/ListHelp
