On 05/22/2017 06:55 PM, Tom de Vries wrote:
Besides, it may be worthwhile contributing/suggesting this upstream.Will do.
Sent 'relative line numbers and dg-line directive' to dejagnu ml ( http://lists.gnu.org/archive/html/dejagnu/2017-05/msg00000.html ).
Thanks, - Tom
