As you may have noticed, there haven't been nightly builds for a couple
of days. This is due to a serious failure of the server which was
running them. I built a replacement machine last night, but it's
probably going to be a little while before the nightlies are working
again.
I hope to get them going this weekend.
Thomas.