Updates

Vandaag hebben we weer een aantal updates doorgevoerd op onze servers.
Het ging hierbij om de volgende software...

> PHP 7.1.19
> phpMyAdmin 4.8.2