min_pool_size: add Filip Rembiałkowski to AUTHORS

Credit was lost from original commit, as I pushed
out without finalizing commit message.

diff --git a/AUTHORS b/AUTHORS
index 4ba1ee16c100571e2563d309c4bb811fc39adf50..c65f50f3a2feb77996103d638b532aa0609edc9a 100644 (file)
--- a/AUTHORS
+++ b/AUTHORS
@@ -15,6 +15,7 @@ Devrim GÜNDÜZ
 Dimitri Fontaine
 Dominique Hermsdorff
 Emmanuel Courreges
+Filip Rembiałkowski
 Giorgio Valoti
 Guillaume Lelarge
 Greg Sabino Mullane