> On 17 Apr 2025, at 01:44, David Rowley <dgrowleyml@gmail.com> wrote:
> To reduce the above 3 options down to two, I just pushed the ones that
> were new to v18. The attached patch handles the ones that were added
> prior to v18.
>
> The options now are:
> 1) Commit the attached to master
> 2) Do nothing.
>
> I'd like to do #1.
I vote for #1 as well.
--
Daniel Gustafsson