diff --git a/LICENCE b/LICENCE index 038f94c37..6772656a1 100644 --- a/LICENCE +++ b/LICENCE @@ -32,7 +32,6 @@ Copyright (c) 2017-2023 Paul A. Clarke Peter Rugg Peter Sewell - PeterRugg Philipp Tomsich Prashanth Mundkur Rafael Sene