On Sep 29, 2015 9:37 AM, Gianfranco Costamagna <costamagnagianfranco@yahoo.it> wrote: > > Hi, I posted on the bug #800238 a patch for the bug and some other issues. As I indicated on irc, I'm happy to see Debian Games take this over. Thanks! Ben