Hi Team, There were important bugxies coming to branch-0-13-0, so the need to release 0.13.1 is more than ever. Thus, the question is about status of following ports: - PalmOS - PS2 - NDS Now the release date depends strictly on readiness of those ports. Eugene