buildfarm switching servers

Previous Topic Next Topic
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view

buildfarm switching servers

Andrew Dunstan

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