A fix for this has been submitted. If you’re building from source, this should be fixed by updating to latest on GitHub. Otherwise, it will be available in the next official release. Thank you @JSwigart for reporting.
4 Likes