On Mon, Nov 05, 2018 at 10:25:29AM +0100, Frederic Cambus wrote: > Hi ports@, > > Here is a diff to update gxemul to 0.6.0.2. > > This allows getting rid of all patches but the configure one. > > Comments? OK?
Ping. Anyone willing to OK this? Thanks!