Hi all, We are progressing well towards a 4.2 release in the next few months. In the meantime, do we want another 4.1 release? I have not been committing fixes to the maint branch lately, but I suppose there are a decent number on the master branch that could be backported. Allan