On Mon, Dec 19, 2016 at 9:00 PM, Ruediger Pluem <[email protected]> wrote:
>
>
> This doesn't seem to be in trunk yet. Care to commit?

Done in r1775195, thanks Rüdiger for your great suggestions.

Regards,
Yann.

Reply via email to