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.

Sign up for GitHub

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

Jump to bottom

condensed compat changes #209

Merged

bors merged 1 commit into main from odunbar-patch-3

Apr 6, 2023

Collaborator

odunbar commented Apr 6, 2023 •

edited

Loading

Purpose

I have read and checked the items on the review checklist.


          condensed compat changes

3bcb28e

Collaborator Author

odunbar commented Apr 6, 2023

bors try

bors bot added a commit that referenced this pull request


          Try #209:

501c4a6

Contributor

bors bot commented Apr 6, 2023

try

Build succeeded:

Collaborator Author

odunbar commented Apr 6, 2023

bors r+

Contributor

bors bot commented Apr 6, 2023

Build succeeded:

bors bot merged commit ac50af6 into main

bors bot deleted the odunbar-patch-3 branch

April 6, 2023 22:28

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet