Skip to content

Fix CID 1559183 from Coverity - #11662

Merged
JosiahWI merged 1 commit into
apache:masterfrom
JosiahWI:fix/cid1559183
Aug 9, 2024
Merged

Fix CID 1559183 from Coverity#11662
JosiahWI merged 1 commit into
apache:masterfrom
JosiahWI:fix/cid1559183

Conversation

@JosiahWI

@JosiahWI JosiahWI commented Aug 8, 2024

Copy link
Copy Markdown
Contributor

No description provided.

@JosiahWI JosiahWI added this to the 10.1.0 milestone Aug 8, 2024
@JosiahWI JosiahWI self-assigned this Aug 8, 2024
@JosiahWI
JosiahWI merged commit e8145dc into apache:master Aug 9, 2024
@JosiahWI
JosiahWI deleted the fix/cid1559183 branch August 12, 2024 17:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants