Rumor has it that they also double spent in the last couple of months.
AIUI the apparent double spends were pay-to-self transactions used to invalidate a transaction that for some reason never made it to the blockchain in a timely manner. So they resent those same coins back to themselves (the 'pay-to-self' transaction) and then made a new withdrawal transaction.
TL;DR The whole apparent double spend scare turned out to be nothing to worry about.