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