He automatically has his citizenship reinstated. This is for purposes of consistency. If we don't think it's right for his citizenship to be revoked for those reasons, that principle should be applied generally.
On April 12th, 2016. See this statement in context.