Skip to content

strip leading periods#257

Merged
amol- merged 3 commits into
bbangert:masterfrom
gg0h:master
May 23, 2026
Merged

strip leading periods#257
amol- merged 3 commits into
bbangert:masterfrom
gg0h:master

Conversation

@gg0h
Copy link
Copy Markdown
Contributor

@gg0h gg0h commented Jan 2, 2026

as discussed in #248

@amol-
Copy link
Copy Markdown
Collaborator

amol- commented Jan 11, 2026

I think it would be easier to maintain on long term if we simply forbid "." character in idents. Otherwise the same bug should sneak via other code paths now or in the future

@gg0h
Copy link
Copy Markdown
Contributor Author

gg0h commented Jan 13, 2026

I've tweaked to remove all period characters

@amol- amol- merged commit 0ce1455 into bbangert:master May 23, 2026
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.

2 participants