Skip to content

burntsushi-toml: initial integration#8279

Merged
jonathanmetzman merged 2 commits into
google:masterfrom
manunio:burntsushi-toml
Aug 17, 2022
Merged

burntsushi-toml: initial integration#8279
jonathanmetzman merged 2 commits into
google:masterfrom
manunio:burntsushi-toml

Conversation

@manunio

@manunio manunio commented Aug 17, 2022

Copy link
Copy Markdown
Contributor

Hi,

@manunio manunio mentioned this pull request Aug 17, 2022
Closed
@manunio manunio marked this pull request as ready for review August 17, 2022 12:49
jonathanmetzman
jonathanmetzman approved these changes Aug 17, 2022
View reviewed changes

@jonathanmetzman jonathanmetzman left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@jonathanmetzman jonathanmetzman merged commit f1aba37 into google:master Aug 17, 2022
@manunio manunio deleted the burntsushi-toml branch August 17, 2022 14:00
@manunio manunio mentioned this pull request Sep 18, 2022
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@jonathanmetzman jonathanmetzman jonathanmetzman approved these changes

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

@manunio @jonathanmetzman