On Thu, Dec 13, 2018 at 06:26:16PM -0600, Jacob Bachmeyer wrote: > This feature has been completely broken for 24 years with no > complaints... I think we can remove it. :-)
Fully agreed. Thanks! Cheers, Ben
signature.asc
Description: PGP signature
_______________________________________________ DejaGnu mailing list DejaGnu@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu
