Yes Ok to push. Thanks. Jerry
On Tue, Jul 15, 2025, 9:44 AM Paul Richard Thomas <
paul.richard.tho...@gmail.com> wrote:
> Dear All,
>
> The failure that Steve mentioned below is fixed. ChangeLogs and patch are
> self-describing.
>
> Regtests fine - OK for mainline?
>
> Paul
>
> On Sat, 12 Jul 202
Hi Steve,
Your patch works as advertised. The second line in the error message
receives the same dg-error line as the first, giving "# of expected passes
6".
I'll push as soon as I get a chance - likely this afternoon.
Thanks!
Paul
On Sat, 12 Jul 2025 at 19:57, Steve Kargl
wrote:
> All, Pau
