Skip to content

Name ending in numeric literal like gets highlited #128

New issue
New issue
Closed
Closed
Name ending in numeric literal like gets highlited#128
Labels
bugSomething isn't working
@nicolasstucki

Description

@nicolasstucki
nicolasstucki
opened on Jul 10, 2020
  p133
  p133.
  p133.42
  p4e1
  p.2
  x124x

Screenshot 2020-07-10 at 16 56 24

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't working

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions