On Sat, Nov 11, 2017 at 12:57 AM, Pavel Stehule <pavel(dot)stehule(at)gmail(dot)com> wrote:
> 2017-11-10 16:38 GMT+01:00 Fabien COELHO <coelho(at)cri(dot)ensmp(dot)fr>:
>> So I switched the patch to "ready for committer".
>
> Thank you very much
Patch moved to CF 2018-01 with same status: ready for committer.
--
Michael