David Kastrup <[email protected]> writes: >> (Oh, now I've just seen that git commit has an --author=... option to >> specify the author explicitly. Sorry, I didn't know that, and now >> the commit is already pushed, so too late to --amend.) > > If you coached the Patch submission and checked it, you might also (in > addition to --author) use the -s option for "signing off" on the > patch.
Ok, good suggestion. > That leaves at least a tangible impression of who looked over the > patch in case the question "who was ok with this ever being pushed in > this state" arrives Can I read out of that statement that you are not satisfied with the state of the patch? Bye, Tassilo _______________________________________________ auctex-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/auctex-devel
