Learn more about these different git repos.
Other Git URLs
It is deprecated for a year, let's remove it finally.
PR #919
Commit 71ed13c5 fixes this issue
Commit 6bff1296 fixes this issue
Commit 54c7bb4 fixes this issue
Commit 0dafaa7 fixes this issue
Login to comment on this ticket.