Skip to content

Add CheckReturnValue annotation#81

Merged
amaembo merged 2 commits intoJetBrains:masterfrom
rillig:roland.illig/CheckReturnValue
Jan 11, 2023
Merged

Add CheckReturnValue annotation#81
amaembo merged 2 commits intoJetBrains:masterfrom
rillig:roland.illig/CheckReturnValue

Conversation

@rillig
Copy link
Copy Markdown
Contributor

@rillig rillig commented Jan 9, 2023

No description provided.

@amaembo amaembo merged commit 503d198 into JetBrains:master Jan 11, 2023
@amaembo amaembo mentioned this pull request Jan 11, 2023
@rillig rillig deleted the roland.illig/CheckReturnValue branch January 12, 2023 11:43
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.

3 participants