Skip to content
This repository has been archived by the owner on Nov 28, 2023. It is now read-only.

release v0.10.0 #105

Merged
merged 1 commit into from
Nov 5, 2022
Merged

release v0.10.0 #105

merged 1 commit into from
Nov 5, 2022

Conversation

almindor
Copy link
Contributor

@almindor almindor commented Nov 5, 2022

Release latest master as v0.10.0 to fix #102 properly

@almindor almindor requested a review from a team as a code owner November 5, 2022 03:02
@almindor almindor requested review from adamgreig and Disasm November 5, 2022 03:04
Copy link
Member

@Disasm Disasm left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, thank you!

@Disasm
Copy link
Member

Disasm commented Nov 5, 2022

bors r+

@bors
Copy link
Contributor

bors bot commented Nov 5, 2022

Build succeeded:

@bors bors bot merged commit 91d63a3 into master Nov 5, 2022
@bors bors bot deleted the v0.10.0 branch November 5, 2022 06:29
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Doesn't compile with the latest nightly toolchain.
2 participants