diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2018-10-19 16:10:49 +0200 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2018-10-20 09:11:22 +0200 |
commit | d2192653dbf555337464846e0132c547bf3a503a (patch) | |
tree | a19339dc14fc1ca8859a2e7e330ec09c9e2d41ff /THANKS | |
parent | 83a832618d58cfd30dd02a81d641a6f72d2fc09f (diff) | |
download | bison-d2192653dbf555337464846e0132c547bf3a503a.tar.gz |
build: add missing gnulib libs
Reported by Denis Excoffier.
* lib/local.mk, src/local.mk: here.
Diffstat (limited to 'THANKS')
-rw-r--r-- | THANKS | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -42,6 +42,7 @@ David J. MacKenzie djm@gnu.org David Kastrup dak@gnu.org David Michael fedora.dm0@gmail.com Dengke Du dengke.du@windriver.com +Denis Excoffier gcc@Denis-Excoffier.org Dennis Clarke dclarke@blastwave.org Derek Clegg derek@me.com Derek M. Jones derek@knosof.co.uk |