infrastructure: migration of wiki.grml.org
Just a short note regarding our infrastructure: wiki.grml.org just moved (from host with IP 80.237.145.9) to a new system (new IP: 87.230.9.1). The TTL in DNS was set accordingly for the last few days so you shouldn’t notice any noteworthy downtimes.