clone.py:_get_installation_path_from_url() broken on Windows #3971
Labels
fix-implemented
A fix is available, but has not been merged or released, yet.
platform-windows
Issue concerned with Windows
On Debian:
On Windows:
which leads to all kinds of follow-up errors, because a clone into the source location is attempted.
The text was updated successfully, but these errors were encountered: