Stefan Tröger 446ce21517 Remove ExtensionProxy and rely on default Python proxy for extensions. fixes #0004534

2021-01-30 16:00:48 +01:00

1.2 KiB

Raw Blame History

View Raw