Thread: buildfarm switching servers

The buildfarm server has changed to a new (bigger, faster, better) 
server. There might be odd discrepancies, which will be resolved in a 
day or two when I reconcile and merge the two databases.

Thanks for your patience

andrew