1 files changed, 8 insertions, 0 deletions

diff --git a/src/Makefile b/src/Makefile
index e0c1e45c..abf03c4f 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.                                                  #
 #                                                                        #