diff --git a/docs/CONTRIBUTORS b/docs/CONTRIBUTORS index b9ea6e795..447e57f23 100644 --- a/docs/CONTRIBUTORS +++ b/docs/CONTRIBUTORS @@ -3,7 +3,6 @@ under the Developer Certificate of Origin (https://developercertificate.org/). Please see the Verilator manual for 200+ additional contributors. Thanks to all. - Ahmed El-Mahmoudy Alex Chadwick Chris Randall