It strengthened into a tropical storm the next morning , and became the first hurricane of the season on September 11 .
It became a post-tropical storm on June 7 .