Han hängdes den 12 Juni.