I hope they killed the bastard.
I guess lynching means killing by mob action, but not necessarily hanging.