summaryrefslogtreecommitdiff
path: root/THANKS
diff options
context:
space:
mode:
authorAkim Demaille <akim.demaille@gmail.com>2018-08-18 14:09:16 +0200
committerAkim Demaille <akim.demaille@gmail.com>2018-08-18 14:15:21 +0200
commit425044a936db11629327cd08c965e58ed54462d6 (patch)
tree5ca6e41401e851babd71ef677bca443be2adcd3f /THANKS
parent5010af94d0d1a8aada976972b849184329c9274a (diff)
downloadbison-425044a936db11629327cd08c965e58ed54462d6.tar.gz
doc: clarify the destructor selection example
Reported by Gary L Peskin. http://lists.gnu.org/archive/html/help-bison/2016-02/msg00000.html * doc/bison.texi (Destructor Decl): here.
Diffstat (limited to 'THANKS')
-rw-r--r--THANKS1
1 files changed, 1 insertions, 0 deletions
diff --git a/THANKS b/THANKS
index 3a68d2ef..4c42ef19 100644
--- a/THANKS
+++ b/THANKS
@@ -56,6 +56,7 @@ Florian Krohm florian@edamail.fishkill.ibm.com
Frank Heckenbach frank@g-n-u.de
Frans Englich frans.englich@telia.com
Gabriel Rassoul gabriel.rassoul@epita.fr
+Gary L Peskin garyp@firstech.com
Georg Sauthoff gsauthof@TechFak.Uni-Bielefeld.DE
George Neuner gneuner2@comcast.net
Gilles Espinasse g.esp@free.fr