On Thu, Apr 1, 2021 at 11:54 AM Ondrej Mosnacek <omosnace@xxxxxxxxxx> wrote: > Ok, I agree it's not something worth obsessing over, so I'll just use > this last suggestion :) (One day maybe I'll try to simplify/optimize > it a bit, but that is for another patch...) Sounds good, thanks Ondrej. -- paul moore www.paul-moore.com