Skip to content

Conversation

RussKie
Copy link
Member

@RussKie RussKie commented Oct 8, 2023

Follow up for #11235 and #11242

@ghost ghost assigned RussKie Oct 8, 2023
@RussKie RussKie force-pushed the refactor_hotkeysmanager branch 4 times, most recently from 9fb707f to 35e7a60 Compare October 8, 2023 06:32
@RussKie RussKie requested review from mstv and gerhardol October 8, 2023 06:54
@RussKie RussKie force-pushed the refactor_hotkeysmanager branch from 35e7a60 to 9f9ac67 Compare October 8, 2023 08:02
@RussKie RussKie force-pushed the refactor_hotkeysmanager branch from 764c47e to df7d030 Compare October 9, 2023 11:37
Copy link
Member

@mstv mstv left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍

Copy link
Member

@gerhardol gerhardol left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I have browsed this PR a couple of times and have no comments.

@RussKie RussKie merged commit 65e1385 into gitextensions:master Oct 12, 2023
@RussKie RussKie deleted the refactor_hotkeysmanager branch October 12, 2023 22:33
@ghost ghost added this to the vNext milestone Oct 12, 2023
@RussKie
Copy link
Member Author

RussKie commented Oct 12, 2023

Thank you folks

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.

3 participants