WinVPS12 network error.

We had to reboot winvps12 as some VPSes were not pinging.

All VPSes are up for some minutes now, just checking how this has happened, without much clue yet, it looks to have started about 20-25 min before.