> On Sun, Oct 14, 2018 at 8:30 PM Matheus de Oliveira > <matioli.math...@gmail.com> wrote: > > Updated the last patch so it can apply cleanly on HEAD. > > About the bugfixes, do you think it is better to move to another thread?
I think it makes sense, this way discussions on two relatively different topics will not interfere with each other. I would even suggest to create a new CF item with "bugfix" type to emphasize it.
