Skip to content

Use text, not string#567

Merged
jrandolf-google merged 1 commit intomainfrom
jrandolf/text
Oct 5, 2023
Merged

Use text, not string#567
jrandolf-google merged 1 commit intomainfrom
jrandolf/text

Conversation

@jrandolf-google
Copy link
Contributor

@jrandolf-google jrandolf-google commented Oct 5, 2023

@jrandolf-google jrandolf-google requested a review from OrKoN October 5, 2023 12:09
@jrandolf-google jrandolf-google merged commit 073f489 into main Oct 5, 2023
@jrandolf-google jrandolf-google deleted the jrandolf/text branch October 5, 2023 12:11
github-actions bot added a commit that referenced this pull request Oct 5, 2023
SHA: 073f489
Reason: push, by jrandolf

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
@jrandolf-google jrandolf-google restored the jrandolf/text branch October 5, 2023 12:49
@jrandolf-google jrandolf-google deleted the jrandolf/text branch October 5, 2023 12:49
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.

3 participants