Hello, On Thu 11 Jul 2024 at 03:14pm +02, Aymeric Agon-Rambosson wrote:
> Hi, > > Le jeudi 11 juillet 2024 à 08:09, Sean Whitton <spwhit...@spwhitton.name> a > écrit : > >> If you were going to make complex edits you would always fix it in the >> .org and regenerate the .texi, right? > > That would indeed be my own preference, yes. I just did not think that I could > deduce from it that it was upstream's preference too. I still think it has to > be established according to how upstream actually works. I agree, I just don't think it's their typo-fixing practices that matter, but rather their substantive changes. > Sorry about the noise. No problem, you learned something :) -- Sean Whitton
