On Thu, 2023-07-27 at 12:16 +1000, Peter Smith wrote: > I created patches for this over a month ago, but then the thread went > quiet. Is there something more needed, or was it just accidentally > overlooked? > > Should this be added to the commitfest?
Yes, please add it to the commitfest. That increases the likelyhood of you patch not being forgotten. Yours, Laurenz Albe
