Skip to content

GH PR: picker for repository could provide help text and should stay open on focus lost#2424

Merged
RMacfarlane merged 1 commit into
masterfrom
issue2394
Jan 27, 2021
Merged

GH PR: picker for repository could provide help text and should stay open on focus lost#2424
RMacfarlane merged 1 commit into
masterfrom
issue2394

Conversation

@RMacfarlane

Copy link
Copy Markdown
Contributor

Fixes #2394

@RMacfarlane
RMacfarlane merged commit 85691f4 into master Jan 27, 2021
@RMacfarlane
RMacfarlane deleted the issue2394 branch January 27, 2021 20:33
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.

GH PR: picker for repository could provide help text and should stay open on focus lost

1 participant