On Sun, 13 Mar 2016 13:44:18 +0100, Sönke Ludwig wrote:
I'll look into it.
Based on a cursory look into the commit that closed the issue, I think the new solution will work for my case (unlike the mere compile-time flag originally proposed). Thank you.