Current version?

[John Williams]

I have been stuck at r13571 for some time - which may well be the latest
version; we mustn't deny developers a break!

But now my cURL script for downloading the latest version seems to hang!

Any ideas, anyone?

John