I don't think it is a 'minor violation'. You didn't even delete the post, while in fact, you should ban the user too ....

Btw., there are more posts like this, I checked out. The user 'cowabanga' even notified a previous moderator (don't know if it was you or another one) but he/she didn't do anything, ... as if he liked it ...