Skip to content

Conversation

@hediet
Copy link
Member

@hediet hediet commented Sep 25, 2023

Fixes #192558

@hediet hediet self-assigned this Sep 25, 2023
@hediet hediet enabled auto-merge (rebase) September 25, 2023 12:51
@vscodenpa vscodenpa added this to the September 2023 milestone Sep 25, 2023
@hediet hediet merged commit dc22b93 into main Sep 25, 2023
@hediet hediet deleted the hediet/b/proper-porpoise branch September 25, 2023 13:05
@github-actions github-actions bot locked and limited conversation to collaborators Nov 9, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[Bug]: Sash to expand diff editor appears to be shorter than full height

4 participants