derTobsch opened this issue 5 months ago · 0 comments
We want to more specific what a official holiday and an unofficial holiday is. So we will rename 'Official Holiday' to 'Public Holiday'.