On Thu, Apr 08, 2021 at 07:40:03PM +0200, Tim Düsterhus wrote: > Willy, > > On 4/3/21 8:39 PM, Tim Duesterhus wrote: > > Nothing is being modified there, so this can be `const`. > > As you've taken my other series and not this one, consider this to be a push > :-)
Oh, sorry for this, it got drowned in the middle of one thousand other messages. Now pushed, thanks! Willy
