Skip to content

coverity 1512701: remove the necessity of copy and move#10042

Merged
maskit merged 1 commit intoapache:masterfrom
maskit:cov_1512701
Jul 17, 2023
Merged

coverity 1512701: remove the necessity of copy and move#10042
maskit merged 1 commit intoapache:masterfrom
maskit:cov_1512701

Conversation

@maskit
Copy link
Member

@maskit maskit commented Jul 14, 2023

No description provided.

@maskit maskit added this to the 10.0.0 milestone Jul 14, 2023
@maskit maskit self-assigned this Jul 14, 2023
@maskit
Copy link
Member Author

maskit commented Jul 17, 2023

[approve ci]

@maskit maskit merged commit 52374dd into apache:master Jul 17, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants