Closed thijsbrentjens closed 6 years ago
Fixes voor meerdere issues in de augustus 2018 release, voornamelijk header en update van W3C core.
Fixes voor meerdere issues in de augustus 2018 release, voornamelijk header en update van W3C core.