Dominique d'Humières Tue, 09 May 2017 09:05:04 -0700
I just committed a patch at revision r247803 with updated dg-final regexps (approved by Rich in bugzilla).
Dominique