Hi Jeff, > So this failed pre-commit CI: > > > https://github.com/ewlu/gcc-precommit-ci/issues/3301#issuecomment-2849962485 > > Whatever failure that is needs to be fixed :-)
Sorry about that, I'll submit a new version with a fix to the test case. Thanks, Anton
