Skip to content

Actually delete invalid ctor to turn link error into compiler error#7

Open
rschlaikjer wants to merge 1 commit into
mujinfrom
rs-delete-invalid-ctor
Open

Actually delete invalid ctor to turn link error into compiler error#7
rschlaikjer wants to merge 1 commit into
mujinfrom
rs-delete-invalid-ctor

Conversation

@rschlaikjer

Copy link
Copy Markdown

No description provided.

@rdiankov

rdiankov commented Nov 4, 2024

Copy link
Copy Markdown
Member

@rschlaikjer I have no problem with this, but please have testing team test with this and make sure there are no problems.

@ziyan

ziyan commented Nov 4, 2024

Copy link
Copy Markdown
Member

LGTM

@rschlaikjer

Copy link
Copy Markdown
Author

Tested in AT pipeline 547333, seems benign though maybe revealed a cmake problem in some rb module repos (see EN:Product)

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