[10:41:55] <taavi>	 hmm why does ExtDist still think 1.39 is the latest release
[10:54:30] <p858snake>	 taavi: depends if someone has made the config change yet or not
[10:54:48] <taavi>	 p858snake: apparently no-one did, so I'm deploying that now