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

unicode-rs: initial integration. #5413

Merged
merged 4 commits into from
May 15, 2021

Conversation

DavidKorczynski
Copy link
Collaborator

@DavidKorczynski DavidKorczynski commented Mar 16, 2021

Performs an umbrella integration for Unicode-related repositories:

Unicode normalisation uses unsafe https://github.com/unicode-rs/unicode-normalization/search?q=unsafe code whereas unicode-segmentation does not.

@Manishearth I have set up continuous fuzzing of unicode-rs repos. The benefits are that the fuzzer will be run on a regular basis. Is this something you would be happy to have set up? If so, the only thing needed from your end is an email that will receive the bugs reports - notice this email should be attached to a Google account for you to see the reports. I can also move the fuzzers for unicode-segmentation to the upstream repo.

Copy link

@Manishearth Manishearth left a comment

Choose a reason for hiding this comment

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

Looks good, please use manishsmail@gmail.com.

Happy to upstream fuzzers as well; whatever works for y'all!

@DavidKorczynski DavidKorczynski marked this pull request as ready for review April 1, 2021 21:04
@DavidKorczynski
Copy link
Collaborator Author

@inferno-chromium @oliverchang @jonathanmetzman calling on the current sheriff this one is good to go.

@inferno-chromium inferno-chromium merged commit 7d8e538 into google:master May 15, 2021
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