> On 17 Apr 2025, at 01:44, David Rowley <dgrowle...@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
