Thanks, great to know. Sorry to post a question that should be so simple, but whenever directly editing a database I learned long ago to at least ask for some tips from someone familiar with the software first!!
I can also confirm now that I did this with no ill effects, so any future readers can know it really is as simple as it should be: just delete the row with the ban in question from your bans table.