Willem van den Akker Fri, 08 Aug 2014 00:39:26 -0700
Hi, This bug (among others changes) is fixed. The code is in the git repository and can be reviewed and uploaded from there.
/Willem
