Branch merged into trunk in rev 14323.
Thank you very much for your contribution (sorry it took so long to get the proposed fix into trunk)!
Branch merged into trunk in rev 14323.
Thank you very much for your contribution (sorry it took so long to get the proposed fix into trunk)!