Skip to content

Fixed isIncrementedMangledName algorithm#752

Merged
sanex3339 merged 1 commit intomasterfrom
fixed-is-incremented-mangled-name
Sep 19, 2020
Merged

Fixed isIncrementedMangledName algorithm#752
sanex3339 merged 1 commit intomasterfrom
fixed-is-incremented-mangled-name

Conversation

@sanex3339
Copy link
Copy Markdown
Member

@sanex3339 sanex3339 commented Sep 19, 2020

No description provided.

@sanex3339 sanex3339 mentioned this pull request Sep 19, 2020
Closed
@coveralls
Copy link
Copy Markdown

coveralls commented Sep 19, 2020 •
edited
Loading

Coverage Status

Coverage increased (+0.003%) to 98.624% when pulling 77ff574 on fixed-is-incremented-mangled-name into ae52c1d on master.

@coveralls
Copy link
Copy Markdown

coveralls commented Sep 19, 2020

Coverage Status

Coverage increased (+0.002%) to 98.623% when pulling 77ff574 on fixed-is-incremented-mangled-name into ae52c1d on master.

@sanex3339 sanex3339 merged commit 45bd72d into master Sep 19, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@sanex3339 @coveralls