[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Update of texinfo.tex, and cherry-picks in stable/2.20
|
From: |
Werner LEMBERG |
|
Subject: |
Re: Update of texinfo.tex, and cherry-picks in stable/2.20 |
|
Date: |
Wed, 20 Feb 2019 06:11:29 +0100 (CET) |
> As suggested by Werner on February 8th in "Please test GUB" thread,
> we should update tex/texinfo.tex in our sources from Texinfo git
> repo. Is there any objection to applying this change on both
> staging and stable/2.20 branches without the usual review process?
Obviously, I don't have objections :-)
Werner