Skip to content

bump deps and release 0.9.0#798

Merged
jordens merged 9 commits intomainfrom
rj/bump-deps
Nov 1, 2023
Merged

bump deps and release 0.9.0#798
jordens merged 9 commits intomainfrom
rj/bump-deps

Conversation

@jordens
Copy link
Member

@jordens jordens commented Oct 30, 2023

@jordens jordens marked this pull request as ready for review November 1, 2023 14:25
@jordens jordens requested a review from ryan-summers November 1, 2023 14:25
features = ["stm32h743v", "rt", "ethernet", "xspi", "usb_hs"]

[patch.crates-io.usb-device]
git = "https://github.com/ryan-summers/usb-device"
Copy link
Member

Choose a reason for hiding this comment

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

Are we going for a release? I can probably kick off a usb-device release as well, it's been a while since it went out. But also, there's more to do with this fix, so let's postpone

Copy link
Member Author

Choose a reason for hiding this comment

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

Yes. Let's release. Since the issue is in a upstream crate presumable fixable by a patch release, and only affects windows, I'm happy to follow up on that with a patch here as well later.

@jordens jordens changed the title rj/bump deps bump deps and release 0.9.0 Nov 1, 2023
Co-authored-by: Ryan Summers <ryan.summers@vertigo-designs.com>
@jordens jordens requested a review from ryan-summers November 1, 2023 14:36
@jordens jordens added this pull request to the merge queue Nov 1, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Nov 1, 2023
@jordens jordens added this pull request to the merge queue Nov 1, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Nov 1, 2023
@jordens jordens added this pull request to the merge queue Nov 1, 2023
Merged via the queue into main with commit c4e817e Nov 1, 2023
@jordens jordens deleted the rj/bump-deps branch November 1, 2023 15:45
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