On 2013.11.20 at 15:43 +0100, Markus Trippelsdorf wrote: > On 2013.11.20 at 14:41 +0100, Paolo Bonzini wrote: > > Note that you need to regenerate all users of libtool.m4. Please post a > > patch _with_ the regeneration so that whoever applies it won't screw up.
Ping. Can you please have look, Paolo? And if it is not too much work, it would be nice if you could also apply the patch. Thanks. -- Markus
