diff --git a/DEVELOPERS b/DEVELOPERS index 0697c5de9c..9406f30cd5 100644 --- a/DEVELOPERS +++ b/DEVELOPERS @@ -2500,9 +2500,6 @@ N: Thomas Claveirole F: package/fcgiwrap/ F: package/openlayers/ -N: Thomas Davis -F: package/civetweb/ - N: Thomas De Schampheleire F: docs/manual/ F: package/cereal/