Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update to 1.71.1 #48

Open
wants to merge 1 commit into
base: rust-1.71.0
Choose a base branch
from
Open

Update to 1.71.1 #48

wants to merge 1 commit into from

Conversation

thomcc
Copy link
Contributor

@thomcc thomcc commented Aug 5, 2023

Don't merge, this is just for CI and such.

There were no commits to library/* since 1.71.0, which really confused me; I ran the git subtree push ... part like 4 times today thinking I somehow messed it up or had my repo in a weird state (each time it takes a few hours...)

I added a note to the upgrading guide about this, in case it happens again. Other than that, the lack of changes upstream means this just tweaks a few version numbers in a couple places.

@thomcc thomcc marked this pull request as ready for review August 5, 2023 01:48
Copy link
Contributor

@workingjubilee workingjubilee left a comment

Choose a reason for hiding this comment

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

Looks fine to me!

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