Thomas Koenig Thu, 25 Jan 2018 10:58:46 -0800
Hi Steve, thanks for your explanations.
The patch is OK for trunk. Thanks a lot! Regards Thomas