On Wed, Jul 1, 2015 at 11:10 PM, Matteo F. Vescovi wrote: > - warzone2100 Upstream have patches for this: http://developer.wz2100.net/ticket/4300 http://developer.wz2100.net/ticket/4218 -- bye, pabs https://wiki.debian.org/PaulWise