Skip to content

release 1.8.0#318

Merged
bors[bot] merged 6 commits into
masterfrom
rr_1.8.0
May 5, 2020
Merged

release 1.8.0#318
bors[bot] merged 6 commits into
masterfrom
rr_1.8.0

Conversation

@rustatian
Copy link
Copy Markdown
Member

release 1.8.0

@rustatian rustatian added the A-other Area: other label May 5, 2020
@rustatian rustatian added this to the unplanned milestone May 5, 2020
@rustatian rustatian requested review from vvval and wolfy-j May 5, 2020 13:13
@rustatian rustatian self-assigned this May 5, 2020
@rustatian rustatian marked this pull request as ready for review May 5, 2020 14:52
@rustatian
Copy link
Copy Markdown
Member Author

bors r+

@bors bors Bot merged commit 4d7dff9 into master May 5, 2020
@bors bors Bot deleted the rr_1.8.0 branch May 5, 2020 15:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A-other Area: other

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants