The user was banned entirely just after 11pm, and the reactions were at 4pm (uk time on my end). There has been no interaction with that user in any way since they have been banned from the site. The only other way a user could have been banned before that is if the user was given over 50 points, as per your settings, in warning points. Points on your system expire after 30 days, so the user never hit 50 points, and therefore only had posting restrictions, not a ban