Sebastian Hahn
Fix the publish script to point to a real hostname
Sebastian Hahn commited 76165618d at 2012-05-20 10:25:31