On Sun, Feb 03, 2019 at 10:27:20PM -0600, Jacob Bachmeyer wrote: > This issue with the code was found while writing documentation, so > the new documentation will at the least be included in the big > documentation patch I am currently working on. Should these code > changes also be rolled into that patch, submitted separately with > the revisions to the documentation held pending, or submitted > together with their specific new documentation to be merged > separately from (and prior to) the large patch?
I favour option 3, please. That way, the changeset is kept all together in one commit. You should not find it very difficult to merge the other documentation changes in later. Cheers, Ben
signature.asc
Description: PGP signature
_______________________________________________ DejaGnu mailing list DejaGnu@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu
