Please also have a look to #2769 - it was considered to first merge this pull request, as its the easier fix. Then this request could be updated, if necessary to fix other eventually remaining issues.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.