Backport #10746: Fix file+noindex URI usage on Windows#10876
Backport #10746: Fix file+noindex URI usage on Windows#10876mergify[bot] merged 5 commits into3.14from
Conversation
(cherry picked from commit 9a0e8a4) # Conflicts: # Makefile
|
Cherry-pick of 9a0e8a4 has failed: To fix up this pull request, you can check it out locally. See documentation: https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/reviewing-changes-in-pull-requests/checking-out-pull-requests-locally |
|
@mergify rebase |
☑️ Nothing to doDetails
|
|
@mergify rebase |
☑️ Nothing to doDetails
|
|
This pull request has been removed from the queue for the following reason: The merge conditions cannot be satisfied due to failing checks: You may have to fix your CI before adding the pull request to the queue again. |
|
@mergify dequeue |
☑️ The pull request is not queued |
Concluded on using
file+noindex:C:/some/pathon Windows as discussed on Matrix.Template Α: This PR modifies behaviour or interface
Include the following checklist in your PR:
significance: significantin the changelog file.This is an automatic backport of pull request #10746 done by [Mergify](https://mergify.com).