Added a warning to the /ban command when voiding a ban that another
admin set.