Skip to content

Conversation

@eisenhauer
Copy link
Member

No description provided.

@eisenhauer eisenhauer requested a review from pnorbert June 23, 2025 16:14
pnorbert
pnorbert previously approved these changes Jun 24, 2025
@eisenhauer eisenhauer requested a review from pnorbert June 24, 2025 19:10
@eisenhauer
Copy link
Member Author

Still got unrelated windows warnings. Will force this merge, then try a different PR to suppress those.

@eisenhauer eisenhauer merged commit d71f41e into ornladios:master Jun 24, 2025
33 of 38 checks passed
@eisenhauer eisenhauer deleted the RemoteAdditions branch June 24, 2025 19: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.

2 participants