feature request #9114
Updated by Andreas Müller about 3 years ago
The fix for #9111 should be moved to a new URI user type wrapper that is used instead of the current URI class. Otherwise the workaround needs to be applied whereever URIs are used.