Jonas Hahnfeld <hah...@hahnjo.de> writes: > Am Montag, den 18.11.2019, 18:48 +0100 schrieb Werner LEMBERG: >> >> 0deb785f64 Update texinfo.tex from Texinfo git master branch >> > >> > not sure about this one... >> >> IMHO this should be skipped. Instead, right before the 2.20 release, >> the newest `texinfo.tex` from texinfo's git master branch should be >> used. > > Sounds like a good plan if we want to have newer features from there.
I prefer cherry-picking the changes since that means that support files (like for other languages) are not accidentally omitted. -- David Kastrup
