Skip to content

Drop extra PR numbers#83

Merged
lnicola merged 2 commits intosrcfrom
lnicola-patch-1
Dec 30, 2020
Merged

Drop extra PR numbers#83
lnicola merged 2 commits intosrcfrom
lnicola-patch-1

Conversation

@lnicola
Copy link
Copy Markdown
Member

@lnicola lnicola commented Dec 28, 2020

No description provided.

@lnicola
Copy link
Copy Markdown
Member Author

lnicola commented Dec 30, 2020

r? @matklad

@matklad
Copy link
Copy Markdown
Contributor

matklad commented Dec 30, 2020

lgtm. @lnicola you should have org-wide r+

@matklad
Copy link
Copy Markdown
Contributor

matklad commented Dec 30, 2020

(and merge rights)

@lnicola
Copy link
Copy Markdown
Member Author

lnicola commented Dec 30, 2020

Yeah, I just wasn't sure about the second proc macro PR.

Is this working here?

bors r+

@bors
Copy link
Copy Markdown
Contributor

bors Bot commented Dec 30, 2020

Configuration problem:
bors.toml: not found

@lnicola lnicola merged commit a0d2ff1 into src Dec 30, 2020
@lnicola lnicola deleted the lnicola-patch-1 branch December 30, 2020 11:06
lnicola added a commit that referenced this pull request Jun 28, 2021
lnicola added a commit that referenced this pull request Jun 28, 2021
lnicola added a commit that referenced this pull request Jun 28, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants