Skip to content

Publish 0.8.2.#247

Merged
bors-servo merged 1 commit into
masterfrom
jdm-patch-2
Oct 12, 2021
Merged

Publish 0.8.2.#247
bors-servo merged 1 commit into
masterfrom
jdm-patch-2

Conversation

@jdm
Copy link
Copy Markdown
Member

@jdm jdm commented Oct 12, 2021

No description provided.

@jdm
Copy link
Copy Markdown
Member Author

jdm commented Oct 12, 2021

@bors-servo r+

@bors-servo
Copy link
Copy Markdown
Contributor

📌 Commit ddaf1bd has been approved by jdm

@bors-servo
Copy link
Copy Markdown
Contributor

⌛ Testing commit ddaf1bd with merge bd8443e...

@bors-servo
Copy link
Copy Markdown
Contributor

☀️ Test successful - checks-github
Approved by: jdm
Pushing bd8443e to master...

@bors-servo bors-servo merged commit bd8443e into master Oct 12, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants