Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fixes for Border on Windows #17239

Closed
wants to merge 1 commit into from
Closed

Conversation

jstedfast
Copy link
Member

Description of Change

Issues Fixed

Fixes #

@samhouts samhouts added this to the Under Consideration milestone Sep 8, 2023
@samhouts samhouts added the stale Indicates a stale issue/pr and will be closed soon label Sep 19, 2023
@samhouts
Copy link
Member

Is this ready for review?

@samhouts samhouts added the s/pr-needs-author-input PR needs an update from the author label Sep 19, 2023
@ghost
Copy link

ghost commented Sep 19, 2023

Hi @jstedfast. We have added the "s/pr-needs-author-input" label to this issue, which indicates that we have an open question/action for you before we can take further action. This PRwill be closed automatically in 14 days if we do not hear back from you by then - please feel free to re-open it if you come back to this PR after that time.

@jstedfast
Copy link
Member Author

I believe this is obsoleted by #17310

I'll verify today.

@jstedfast jstedfast closed this Sep 20, 2023
@jstedfast jstedfast deleted the dev/jestedfa/windows-border-fixes branch September 20, 2023 18:19
@github-actions github-actions bot locked and limited conversation to collaborators Dec 6, 2023
@samhouts samhouts removed this from the Under Consideration milestone Jul 1, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
platform/windows 🪟 s/pr-needs-author-input PR needs an update from the author stale Indicates a stale issue/pr and will be closed soon
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants