Skip to content

Fix number selector#11585

Merged
zsarnett merged 1 commit intodevfrom
fix-number-selector
Feb 7, 2022
Merged

Fix number selector#11585
zsarnett merged 1 commit intodevfrom
fix-number-selector

Conversation

@bramkragten
Copy link
Copy Markdown
Member

Proposed change

Type of change

  • Dependency upgrade
  • Bugfix (non-breaking change which fixes an issue)
  • New feature (thank you!)
  • Breaking change (fix/feature causing existing functionality to break)
  • Code quality improvements to existing code or addition of tests

Example configuration

Additional information

  • This PR fixes or closes issue: fixes #
  • This PR is related to issue or discussion:
  • Link to documentation pull request:

Checklist

  • The code change is tested and works locally.
  • There is no commented out code in this PR.
  • Tests have been added to verify that the new code works.

If user exposed functionality or configuration variables are added/changed:

@zsarnett zsarnett merged commit 22df034 into dev Feb 7, 2022
@zsarnett zsarnett deleted the fix-number-selector branch February 7, 2022 16:17
@github-actions github-actions bot locked and limited conversation to collaborators Feb 8, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants