On 2024/06/04 14:26:49 -0600, Todd C. Miller <millert@openbsd.org> wrote:
> On Tue, 04 Jun 2024 19:37:51 +0200, Omar Polo wrote:
> 
> > ping.  I'm positively convinced that the diff is correct, but would like
> > a confirmation :)
> 
> Yes, that looks good to me.  OK millert@

Thanks!