On Tue, Jan 22, 2019 at 08:15:01PM -0600, Jacob Bachmeyer wrote: > ChangeLog entry: > * doc/dejagnu.texi (Global config file): Change example to use > "switch" instead of the deprecated "case" Tcl command.
Applied, thanks! Ben
signature.asc
Description: PGP signature
_______________________________________________ DejaGnu mailing list DejaGnu@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu
