Hi folks, just a heads-up that I intend to do a 1.13.1 release in a few days (probably Wednesday is when I'll find the time)... it's been a while since the last release, and there are quite a few bug fixes that could do with being pushed out.
Thx Dan
