On 10/25/23 22:09, Alexandre Oliva wrote:
On Oct 24, 2023, Paul Iannetta <pianne...@kalrayinc.com> wrote:* dg-extract-results.py: Make the test_run regex case insensitive.It looks reasonable to me, but I'm not sure this is a change I'm entitled to approve. Thanks!
Even so, I trust your judgment, so OK for the trunk :-) jeff
