On 2023-11-08 6:15 am, Jacob Bachmeyer wrote:
I have pushed commit a877b418a00dcc3c5b4d7584e0d85949c843c4ed to branch PR66984 on
Savannah; please confirm that it solves your problem so I can merge it
to master and close the bug report.

I do confirm that the fix solves my problem, thank you so much for prompt response!

-- Eugene



_______________________________________________
Bug-dejagnu mailing list
Bug-dejagnu@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-dejagnu

Reply via email to