Update AUTHORS file

diff --git a/AUTHORS b/AUTHORS
index 30e0fa8febef255f37300dd37f54bd63ca3cc437..c19b1e7104ca1ebaaa546863506f7aa1cb9bb078 100644 (file)
--- a/AUTHORS
+++ b/AUTHORS
@@ -3,6 +3,7 @@ imported from the Boehm-Demers-Weiser GC, where it was contributed
 by many others.
 Currently maintained by Ivan Maidanski.
 
+Alexey Pavlov <alexpux@gmail.com>
 Andreas Tobler <andreastt@gmail.com>
 Andrew Agno <agno+boehmgc@agno.net>
 Andy Li <andy@onthewings.net>