Skip to content

Conversation

Turbo87
Copy link
Member

@Turbo87 Turbo87 commented Sep 12, 2021

This was helpful when working on #3912 :)

@Turbo87 Turbo87 added C-internal 🔧 Category: Nonessential work that would make the codebase more consistent or clear A-backend ⚙️ labels Sep 12, 2021
@jtgeibel
Copy link
Member

@bors r+

@bors
Copy link
Contributor

bors commented Sep 17, 2021

📌 Commit 1cf3740 has been approved by jtgeibel

@bors
Copy link
Contributor

bors commented Sep 17, 2021

⌛ Testing commit 1cf3740 with merge fb9237e...

@bors
Copy link
Contributor

bors commented Sep 17, 2021

☀️ Test successful - checks-actions
Approved by: jtgeibel
Pushing fb9237e to master...

@bors bors merged commit fb9237e into rust-lang:master Sep 17, 2021
@Turbo87 Turbo87 deleted the dump_db_logging branch September 17, 2021 21:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A-backend ⚙️ C-internal 🔧 Category: Nonessential work that would make the codebase more consistent or clear

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants