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

632 disallow incomplete defs #635

Merged
merged 2 commits into from
Jul 11, 2024

Conversation

lukasrothenberger
Copy link
Collaborator

No description provided.

@lukasrothenberger lukasrothenberger self-assigned this Jul 11, 2024
@lukasrothenberger lukasrothenberger added the cleanup Cleanup or refactoring required label Jul 11, 2024
@lukasrothenberger lukasrothenberger force-pushed the 632-disallow-incomplete-defs branch from 7386722 to 8989478 Compare July 11, 2024 14:42
@lukasrothenberger lukasrothenberger merged commit bed0b34 into release/4.0.0 Jul 11, 2024
4 of 5 checks passed
@lukasrothenberger lukasrothenberger deleted the 632-disallow-incomplete-defs branch July 11, 2024 14:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
cleanup Cleanup or refactoring required
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant