Hey all I took the liberty to CNAME ci.squeak.org to build.squeak.org. I find myself typing ci.… and then being upset I end up on an unrelated server. Best -Tobias PS: maybe we should deactivate the catchall for *.squeak.org? Best -Tobias