I have merged the trunk version. Since Build 20 will be ready in a few weeks, I did not merge the Build 19 version.
I have merged the trunk version. Since Build 20 will be ready in a few weeks, I did not merge the Build 19 version.