Trading ​will resume ⁠on Monday, October 5