Arduino Leonardo - No Serialport

Good to hear that your Leonardo is working again!