On Fri, Aug 09, 2024 at 09:45:26AM -0600, Todd C. Miller wrote:
> On Fri, 09 Aug 2024 17:43:28 +0200, Theo Buehler wrote:
> 
> > Makes sense and works here, too. Here's a corresponding diff for the
> > port. This is
> >
> > ok tb
> >
> > (or I can commit if you want me to).
> 
> I'd prefer if you did it since you have the diff lined up.  Seems
> like this should be something upstream would accept since multiple
> signals could be received on any system.


Hi Todd,

Your diff also works on Linux.  If you approve, I can post it in my
opened bug report on github, mentioning that it's yours.


> 
>  - todd
> 

-- 
Walter