Tassilo Horn <t...@gnu.org> writes: > Is that correct or am I missing something?
I think it's correct, but what I was saying is that you don't have to "manually" apply the diff onto master : "git merge --squash" does that for you. Sorry if I was unclear. Sincerely, -- Nicolas Richard _______________________________________________ auctex-devel mailing list auctex-devel@gnu.org https://lists.gnu.org/mailman/listinfo/auctex-devel