On Thu, Jul 20, 2017 at 11:17 AM, Fabien COELHO <coelho(at)cri(dot)ensmp(dot)fr> wrote:> Ok for me. I switched the status to "Ready for committers".
Thanks for the review, Fabien.-- Michael