summaryrefslogtreecommitdiff
path: root/THANKS
diff options
context:
space:
mode:
authorAkim Demaille <akim.demaille@gmail.com>2018-11-07 21:51:27 +0100
committerAkim Demaille <akim.demaille@gmail.com>2018-11-07 21:51:27 +0100
commit7efe0b5da3a1863f05f8a3dc67a0daf224ffa047 (patch)
treed3a786fcc4b5ac184b508776d2682ca571d96a09 /THANKS
parent351e3630bbf759e18adf756c54abc89275805111 (diff)
downloadbison-7efe0b5da3a1863f05f8a3dc67a0daf224ffa047.tar.gz
build: fix typo
Reported by Horst Von Brand. https://savannah.gnu.org/support/?109580 * examples/local.mk (.PHOMY): Rename as... (.PHONY): this.
Diffstat (limited to 'THANKS')
-rw-r--r--THANKS1
1 files changed, 1 insertions, 0 deletions
diff --git a/THANKS b/THANKS
index d24f0d93..a5daf579 100644
--- a/THANKS
+++ b/THANKS
@@ -69,6 +69,7 @@ Goran Uddeborg goeran@uddeborg.se
Guido Trentalancia trentalg@aston.ac.uk
H. Merijn Brand h.m.brand@hccnet.nl
Hans Ã…berg haberg-1@telia.com
+Horst Von Brand vonbrand@inf.utfsm.cl
Jan Nieuwenhuizen janneke@gnu.org
Jannick thirdedition@gmx.net
Jerry Quinn jlquinn@optonline.net