Hi again... On 11/10/19 17:30, Paolo Carlini wrote:
Oh nice, I wasn't aware of that, to be honest, probably we should audit the front-end for more such redundant uses.
... and I can confirm that we have *many*. If we agree that removing all of them is the way to go I can do that in a follow up patch.
Thanks, Paolo.
