From 631373a7694db8a789a7d9efbdcf16d17aa1ce98 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Tue, 5 Dec 2017 15:57:30 +0000
Subject: Update license headers for Sail source

---
 src/Makefile | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'src/Makefile')

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.                                                  #
 #                                                                        #
-- 
cgit v1.2.3