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/Makefile | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'src/Makefile')

diff --git a/src/Makefile b/src/Makefile
index be1eb9e5..deb30108 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -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