On Mon, Nov 03, 2014 at 08:15:32AM +0100, Marc Glisse wrote:
> Should I commit the following version, which passed testing as well?

Yes, thanks.

        Jakub

Reply via email to