From 74dff7314c6790d9951001ff8ea35dbaf437959c Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Tue, 5 Dec 2017 16:24:41 +0000
Subject: Update header files on master

---
 src/parser.mly | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'src/parser.mly')

diff --git a/src/parser.mly b/src/parser.mly
index bd68cfdc..625ba021 100644
--- a/src/parser.mly
+++ b/src/parser.mly
@@ -9,6 +9,14 @@
 /*    Robert Norton-Wright                                                */
 /*    Christopher Pulte                                                   */
 /*    Peter Sewell                                                        */
+/*    Alasdair Armstrong                                                  */
+/*    Brian Campbell                                                      */
+/*    Thomas Bauereiss                                                    */
+/*    Anthony Fox                                                         */
+/*    Jon French                                                          */
+/*    Dominic Mulligan                                                    */
+/*    Stephen Kell                                                        */
+/*    Mark Wassell                                                        */
 /*                                                                        */
 /*  All rights reserved.                                                  */
 /*                                                                        */
-- 
cgit v1.2.3