Hi, On 2018-02-19 19:23:04 +0100, Fabien COELHO wrote: > Note that it is not really that useful for benchmarking, although it does > not harm.
That seems plenty reason to plainly reject this patch? If we end up unifying it'll be added via that, no? - Andres
