On 2023-11-08 6:15 am, Jacob Bachmeyer wrote:
I have pushed commit a877b418a00dcc3c5b4d7584e0d85949c843c4ed to branch PR66984 onSavannah; 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