On 2024-01-04 13:47 +11:00 AEDT, "Julien Fischer" <jfischer at opturion.com> wrote: > The diff is trivial; the request for review is for the idea of removing > these lines. It is definitely a good idea. Zoltan.