From fb8ca50af3bb9392b66505b28ba718c90f8ab0ab Mon Sep 17 00:00:00 2001
From: Peter Sewell
Date: Fri, 3 Feb 2017 14:54:22 +0000
Subject: fix headers

---
 src/LICENCE | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/LICENCE')

diff --git a/src/LICENCE b/src/LICENCE
index 743c9719..5992fbfc 100644
--- a/src/LICENCE
+++ b/src/LICENCE
@@ -2,6 +2,8 @@
 
 Copyright (c) 2013-2017 
   Kathyrn Gray
+  Shaked Flur
+  Stephen Kell
   Gabriel Kerneis
   Robert Norton-Wright
   Christopher Pulte
-- 
cgit v1.2.3