Patch applied and fix committed to trunk. Thanks very much for your patch, Michael, it's very much appreciated!
Patch applied and fix committed to trunk. Thanks very much for your patch, Michael, it's very much appreciated!