[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: bug#34201: [PATCH] automake: do not require @setfilename in Texinfo
Re: bug#34201: [PATCH] automake: do not require @setfilename in Texinfo files
Sun, 15 Sep 2019 09:57:03 -0700
On Sat, Sep 14, 2019 at 5:35 AM Gavin Smith <address@hidden> wrote:
> On Mon, Sep 2, 2019 at 6:28 PM Jim Meyering <address@hidden> wrote:
> > Gavin Smith proposed a patch for this back in http://bugs.gnu.org/34201
> > Another reference to the problem: http://bugs.gnu.org/36921
> > In the attached (in Gavin's name), I've added a NEWS entry and
> > adjusted the ChangeLog entry. Will push in a day or so if no comment.
> Thanks for taking the time to look at this.
Oh! Thanks for the reminder. I've just pushed that.