2015-10-06 16:55 GMT+02:00 Hans Hagen <pragma at wxs.nl>: > One of these days we're going to release 0.80.1 and in addition to some Why will it be 0.80.1 and not 0.81.0? Best Martin