Skip to content

Better num key det#839

Merged
mvorisek merged 1 commit intodevelopfrom
better_num_key_det
Mar 15, 2021
Merged

Better num key det#839
mvorisek merged 1 commit intodevelopfrom
better_num_key_det

Conversation

@mvorisek
Copy link
Copy Markdown
Member

No description provided.

@mvorisek mvorisek force-pushed the better_num_key_det branch from 7e869f3 to 4b177d0 Compare March 15, 2021 15:00
Copy link
Copy Markdown
Member

@DarkSide666 DarkSide666 left a comment

Choose a reason for hiding this comment

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

LGTM

@mvorisek mvorisek merged commit d4f26d9 into develop Mar 15, 2021
@mvorisek mvorisek deleted the better_num_key_det branch March 15, 2021 20:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Development

Successfully merging this pull request may close these issues.

2 participants