On Fri, Aug 19, 2022 at 12:50:03PM -0600, Todd C. Miller wrote:
> Your original diff is OK with me, sorry if that wasn't clear.

Understood now, thanks.
Will commit the original diff unless someone objects.

Reply via email to