Rename 'Official Holiday' to 'Public Holiday'
derTobsch opened this issue · comments
More information
We want to more specific what a official holiday and an unofficial holiday is. So we will rename 'Official Holiday' to 'Public Holiday'.
focus-shift / jollyday
Jollyday - A worldwide public holidays library