Skip to content

minor: Fix import preference config keys#15882

Merged
bors merged 1 commit intorust-lang:masterfrom
Veykril:fix-config-keys
Nov 12, 2023
Merged

minor: Fix import preference config keys#15882
bors merged 1 commit intorust-lang:masterfrom
Veykril:fix-config-keys

Conversation

@Veykril
Copy link
Member

@Veykril Veykril commented Nov 12, 2023

No description provided.

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Nov 12, 2023
@Veykril
Copy link
Member Author

Veykril commented Nov 12, 2023

@bors r+

@bors
Copy link
Contributor

bors commented Nov 12, 2023

📌 Commit d6b908e has been approved by Veykril

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Nov 12, 2023

⌛ Testing commit d6b908e with merge 4fc208e...

@bors
Copy link
Contributor

bors commented Nov 12, 2023

☀️ Test successful - checks-actions
Approved by: Veykril
Pushing 4fc208e to master...

@bors bors merged commit 4fc208e into rust-lang:master Nov 12, 2023
@Veykril Veykril deleted the fix-config-keys branch November 17, 2023 10:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants