On Sat, Nov 11, 2017 at 12:57 AM, Pavel Stehule <pavel.steh...@gmail.com> wrote: > 2017-11-10 16:38 GMT+01:00 Fabien COELHO <coe...@cri.ensmp.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
