[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bug-gawk] awk_ext_id_t inconsistency
From: |
Andrew J. Schorr |
Subject: |
Re: [bug-gawk] awk_ext_id_t inconsistency |
Date: |
Thu, 11 Jan 2018 15:22:39 -0500 |
User-agent: |
Mutt/1.5.21 (2010-09-15) |
Hi,
On Thu, Jan 11, 2018 at 09:55:46PM +0200, Arnold Robbins wrote:
> I have fixed this and will push it out to the repo. Much thanks
> for the report and discussion.
Thanks for cleaning this up. I think you may have missed a few spots:
bash-4.2$ git grep -n 'awk_ext_id_t *\*' | cat -
doc/it/gawktexi.in:36716:static awk_ext_id_t *ext_id;
doc/it/gawktexi.in:37487:static awk_ext_id_t *ext_id;
gawkapi.h:950: awk_ext_id_t *ext_id, /* ditto */
gawkapi.h:980: awk_ext_id_t *ext_id, /* ditto */
Regards,
Andy