On 2019-04-19 11:03 a.m., Simon Marchi wrote: > While reviewing this patch, I had written the patch below to experiment, and > while it's not super important, I think it's a good cleanup. I forgot to mention, my patch applies on top of Pedro's patch. Simon