> On Mon, Nov 26, 2018 at 1:41 PM Dmitry Dolgov <9erthalion6@gmail.com> wrote: > > Thanks, I've messed this up too - rebased a wrong branch, the correct one > doesn't have this code already. Sorry for that, and here is the proper version > of this patch.
And one more version, because I haven't fixed the tests (sorry for the noise).