Skip to content

Query History Item: remove on hover#2022

Merged
norascheuch merged 1 commit intomainfrom
nora/remove-history-item-hover
Jan 30, 2023
Merged

Query History Item: remove on hover#2022
norascheuch merged 1 commit intomainfrom
nora/remove-history-item-hover

Conversation

@norascheuch
Copy link
Copy Markdown
Contributor

image

Checklist

  • CHANGELOG.md has been updated to incorporate all user visible changes made by this pull request.
  • Issues have been created for any UI or other user-facing changes made by this pull request.
  • [Maintainers only] If this pull request makes user-facing changes that require documentation changes, open a corresponding docs pull request in the github/codeql repo and add the ready-for-doc-review label there.

@norascheuch norascheuch requested a review from a team as a code owner January 30, 2023 13:09
@norascheuch norascheuch enabled auto-merge January 30, 2023 13:28
@norascheuch norascheuch merged commit 87465a6 into main Jan 30, 2023
@norascheuch norascheuch deleted the nora/remove-history-item-hover branch January 30, 2023 13:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants