On Fri, May 20, 2016 at 9:37 PM, Etienne Prud'homme 
<e.e.f.prudhomme@gmail.com> wrote:
> I've attached the current patch.

Thank you, Etienne, but it looks like the wrong patch was attached. It
is the same as the one from April.

-- Simen