Thanks Diederik, patch committed in r22413. I will close this report, but please keep track of it so you can do a proper fix post-0.47.
Thanks Diederik, patch committed in r22413. I will close this report, but please keep track of it so you can do a proper fix post-0.47.