On Thu, Jul 02, 2015 at 07:06:39AM +0100, David CARLIER wrote: > Hi, here the new patchset.
Thanks, I've applied them. I merged patches 2 and 3 since patch 2 breaks the build without patch 3, and backported them to 1.5. Willy
On Thu, Jul 02, 2015 at 07:06:39AM +0100, David CARLIER wrote: > Hi, here the new patchset.
Thanks, I've applied them. I merged patches 2 and 3 since patch 2 breaks the build without patch 3, and backported them to 1.5. Willy