fluxbb/fluxbb — pull request #47 by yoorick (2012-08-17 09:50:43+00:00)
Title: Improve fetching of users with the specified IP address in admin_users.php

Now it takes page numbers into account and I slightly reduced the number of executed queries in case of guests or no users found.