Thursday, 10 November, will be a government working day. However, as announced earlier, Sunday, 13 November, will be a public holiday.