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.

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

Migrate to JSpecify annotations for nullability constraints #3044

Closed
mp911de opened this issue Jan 15, 2025 · 3 comments
Closed

Migrate to JSpecify annotations for nullability constraints #3044

mp911de opened this issue Jan 15, 2025 · 3 comments
Labels
status: duplicate A duplicate of another issue

Comments

@mp911de
Copy link
Member

mp911de commented Jan 15, 2025

No description provided.

@spring-projects-issues spring-projects-issues added the status: waiting-for-triage An issue we've not yet triaged label Jan 15, 2025
@mp911de mp911de added type: enhancement A general enhancement and removed status: waiting-for-triage An issue we've not yet triaged labels Jan 15, 2025
@sothawo
Copy link
Collaborator

sothawo commented Jan 15, 2025

I already had #2984 for that. So we can just close one of them as duplicate.

You surely already have some script for that @mp911de?

@mp911de mp911de added status: duplicate A duplicate of another issue and removed type: enhancement A general enhancement labels Jan 15, 2025
@mp911de
Copy link
Member Author

mp911de commented Jan 15, 2025

Thanks for the heads-up. I manually created these without checking for presence assuming I'd be the first one with that idea 😆

@mp911de mp911de closed this as completed Jan 15, 2025
@mp911de
Copy link
Member Author

mp911de commented Jan 15, 2025

This is closed as duplicate, I updated the parent (tracking) issue in commons to point to #2984

@mp911de mp911de closed this as completed Jan 15, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
status: duplicate A duplicate of another issue
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@mp911de @sothawo @spring-projects-issues