The copyright file should be updated, but I don't think it's critical. (At least not for our part). Though, in the meantime the PPA builders fail. Should I just merge this and then we can deal with adding the various font licenses later? -- https://code.launchpad.net/~hjd/widelands/use-bundled-fonts/+merge/243323 Your team Widelands Developers is subscribed to branch 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
