Thanks for the report!
I just fixed this in trunk.
Committed revision 2127.
This will be in the 5.42 release.
Thanks for the report!
I just fixed this in trunk.
Committed revision 2127.
This will be in the 5.42 release.