Update Paul Prescod's permissions.

diff --git a/Misc/developers.txt b/Misc/developers.txt
index 80bf22e0bee1b2b44c0552c5a3071ec841976e18..461bf354e76fcdb23647c2bd72c6d301fb3e37a9 100644 (file)
--- a/Misc/developers.txt
+++ b/Misc/developers.txt
@@ -37,6 +37,8 @@ Permissions History
 Permissions Dropped on Request
 ------------------------------
 
+- Paul Prescod sent a drop request.  30 Apr 2005 RDH
+
 - Finn Bock sent a drop request.  13 Apr 2005 RDH
 
 - Eric Price sent a drop request.  10 Apr 2005 RDH