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.
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.