Skip to content

Conversation

@lnicola
Copy link
Member

@lnicola lnicola commented Sep 14, 2021

Fix some warnings on 1.57.

@lnicola
Copy link
Member Author

lnicola commented Sep 14, 2021

The first commit is probably fine, but in the second one we store some stuff we're not using.

@lnicola
Copy link
Member Author

lnicola commented Sep 15, 2021

Superseded by #10248

@lnicola lnicola closed this Sep 15, 2021
@lnicola lnicola deleted the unused-fields branch September 15, 2021 18:24
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.

1 participant