On 2020/04/12 11:05:14, hanwenn wrote: > this should probably not be merged, given the inability to demonstrate speed > savings. But I'm uploading the latest version to not leave bugs in the public > record.
Shall we put the patch on Needs_work to avoid progressing in the usual process? https://codereview.appspot.com/559790043/