Skip to content

Conversation

@krlmlr
Copy link
Member

@krlmlr krlmlr commented Apr 5, 2021

and presence of decimal dot.

@krlmlr krlmlr merged commit 75ec133 into master Apr 5, 2021
@krlmlr krlmlr deleted the b-stray-dot branch April 5, 2021 10:22
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Apr 6, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants