Skip to content

Conversation

maximlt
Copy link
Member

@maximlt maximlt commented Nov 6, 2023

Attempts to address #875

I'm not sure how to reproduce the bug exactly, and I'm not sure this fixes it.

@maximlt maximlt requested a review from jlstevens November 6, 2023 08:15
@jlstevens
Copy link
Contributor

I didn't know this flag existed and I don't know if it fixes the issue. That said, it sounds like the right thing and I can't see how it would hurt to specify it.

@maximlt
Copy link
Member Author

maximlt commented Nov 6, 2023

Ok thanks, let's try that then!

@maximlt maximlt merged commit 582dd60 into main Nov 6, 2023
@maximlt maximlt deleted the version_no_window_windows branch November 6, 2023 12:26
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