Hong Kong Public Holiday on 1 October 2026 Designated Market Maker (DMM) Obligations Filing viewer · member access Original SGX announcement