[garrynewman]

And another - to remove them from the list when you remove their ban manually via the control panel..

In: modcp/banning.php

Before:

// check we got a record back and that the returned user is in a banned group

Add:

// garry: we don't care whether they're banned or not - just take
// them off the banlist of they're on it.

$DB_site->query("DELETE FROM " . TABLE_PREFIX . "banlist WHERE userid=$userid");