5 Mei is een officiële feestdag, maar die ben je niet standaard vrij. Sinds 2017 is deze dag in de GGI niet meer standaard doorbetaald. Daarvoor is er een extra vakantiedag voor in de plaats gekomen. Je kunt natuurlijk wel vrij nemen als je dat zou willen.