Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Rename RawString to Educe__RawString #20

Merged
merged 1 commit into from
Jun 1, 2024

Conversation

ijackson
Copy link
Contributor

Addresses the RawString part of #18. (The MyDebug part is in #19).

I did a git-grep which I hoped would find other helper structs emitted in the output. I didn't find any.

It's possible that there are still variable or type name clashes. I suggest we deal with those as we find them.

@ijackson ijackson changed the title Rename RawStringm to Educe__RawString Rename RawString to Educe__RawString Feb 20, 2024
@ijackson
Copy link
Contributor Author

CI failures here seem spurious; they're happening in my other MRs too.

@magiclen magiclen merged commit 53a792e into magiclen:master Jun 1, 2024
107 of 155 checks passed
@ijackson ijackson deleted the rawstring branch July 8, 2024 16:40
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.

None yet

2 participants