EU-godkjent 17. mai

Skal Norge fortsette å feire 17. mai etter at vi er blitt med i EU?