Additional Holiday for Public Sector

Malaysia News: Bulletin Utama (TV3) has just announced that 23rd October will be a public holiday, but only for the public sector. Of course, why else would they call it public holiday? 😉