On Thu, Dec 13, 2018 at 11:32:59PM -0600, Jacob Bachmeyer wrote: > The ChangeLog entry lists some other minor changes also included.
Thanks. This is great. Can I ask, though, that minor cleanups be sent as a separate patch to more significant patches? It makes reviewing the more complex changes easier. Thanks. Cheers, Ben
signature.asc
Description: PGP signature
_______________________________________________ DejaGnu mailing list DejaGnu@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu
