Hey, Is there anyone around to do a 0.13 release? Would be good to do as there are quite a lot of patches and fixes in the year we spent since the last release. If I don't get any answers, I'll do a release this week-end or beginning of next week. Cheers