summaryrefslogtreecommitdiff
path: root/THANKS
diff options
context:
space:
mode:
authorAkim Demaille <akim.demaille@gmail.com>2020-01-21 06:53:43 +0100
committerAkim Demaille <akim.demaille@gmail.com>2020-01-21 07:01:34 +0100
commit1587a5ea9b9a0e3b23c234ab090ad01bc149c20a (patch)
treec7d0c493d831f5c5719278abc360f49e8fdd92c0 /THANKS
parent4ab2cf7450686f5409f09ed2d3d08dbb86d04815 (diff)
downloadbison-1587a5ea9b9a0e3b23c234ab090ad01bc149c20a.tar.gz
examples: be more robust to spaces in paths
Reported by Nikki Valen. https://lists.gnu.org/r/bug-bison/2020-01/msg00032.html * examples/test ($prog): Remove, replaced by... (prog): This new function, which pays attention to quoting shell variables.
Diffstat (limited to 'THANKS')
-rw-r--r--THANKS1
1 files changed, 1 insertions, 0 deletions
diff --git a/THANKS b/THANKS
index 46de4dc2..db54776a 100644
--- a/THANKS
+++ b/THANKS
@@ -130,6 +130,7 @@ Nick Bowler nbowler@elliptictech.com
Nicolas Bedon nicolas.bedon@univ-rouen.fr
Nicolas Burrus nicolas.burrus@epita.fr
Nicolas Tisserand nicolas.tisserand@epita.fr
+Nikki Valen nicolettavalencia.nv@gmail.com
Noah Friedman friedman@gnu.org
Odd Arild Olsen oao@fibula.no
Oleg Smolsky oleg.smolsky@pacific-simulators.co.nz