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

OID macro! #181

Merged
merged 12 commits into from
Apr 29, 2022
Merged

OID macro! #181

merged 12 commits into from
Apr 29, 2022

Conversation

alex
Copy link
Owner

@alex alex commented Jun 27, 2021

No description provided.

@alex alex force-pushed the oid-macro branch 3 times, most recently from 9d076bc to 93eb7a8 Compare June 27, 2021 19:04
@alex alex marked this pull request as draft June 27, 2021 20:12
@alex
Copy link
Owner Author

alex commented Jun 27, 2021

On hold due to MSRV.
692c8c7 is being reverted as a consequence. Will need to be re-applied when we do this.

@alex alex force-pushed the oid-macro branch 2 times, most recently from 0373130 to c0d8a7b Compare January 3, 2022 00:20
alex added a commit that referenced this pull request Apr 23, 2022
alex added a commit that referenced this pull request Apr 23, 2022
reaperhulk pushed a commit that referenced this pull request Apr 23, 2022
@alex alex marked this pull request as ready for review April 27, 2022 23:04
@reaperhulk reaperhulk merged commit 9096ad7 into main Apr 29, 2022
@reaperhulk reaperhulk deleted the oid-macro branch April 29, 2022 19:25
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