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


Reply via email to