16:26  * Philip- ignores the licensing stuff for now, and just commits cygal's patch
16:31 < cygal> thanks for the commit :)
16:31 <@Philip-> Hmm, I suppose it'd also be useful to have a list of contributors' names, to go in the credits screen etc
16:32 <@Philip-> It's hard enough keeping track of all the official WFG members who've contributed :-(
16:32  * Philip- wonders if cygal has a real name he could add to the list, and maybe an email address if he doesn't mind it being public
16:33 < cygal> Quentin Pradet <email redacted>
16:33 < cygal> (but I don't really care about credits)