Skip to content

Update to Unicode 11#68

Merged
Manishearth merged 6 commits into
masterfrom
unicode-11
Oct 30, 2019
Merged

Update to Unicode 11#68
Manishearth merged 6 commits into
masterfrom
unicode-11

Conversation

@Manishearth

Copy link
Copy Markdown
Member

Hopefully after this the update to Unicode 12 will be straightforward

r? @kwantam or @mbrubeck

@Manishearth

Copy link
Copy Markdown
Member Author

Travis will fail because of #66

@kwantam

kwantam commented Oct 23, 2019

Copy link
Copy Markdown
Member

@Manishearth I will try to make time to review this tomorrow.

@Manishearth

Manishearth commented Oct 23, 2019 via email

Copy link
Copy Markdown
Member Author

@Manishearth

Manishearth commented Oct 23, 2019 via email

Copy link
Copy Markdown
Member Author

@kwantam

kwantam commented Oct 25, 2019

Copy link
Copy Markdown
Member

Sorry, obviously I haven't gotten here yet. I hope to have some time in the next two days.

@kwantam

kwantam commented Oct 25, 2019

Copy link
Copy Markdown
Member

Actually, just did have some time to take a quick look, and to me things look fine and appear to correctly implement the new rules.

But it might still be useful to get a second set of eyes on this (@mbrubeck ?), because my UAX#29 recollection is slightly rusty at this point (no pun intended), so I could have missed something.

@mbrubeck

Copy link
Copy Markdown
Contributor

I can review it sometime this week.

Comment thread README.md
@Manishearth

Copy link
Copy Markdown
Member Author

Oh, I didn't notice the approval. Merging now.

@Manishearth
Manishearth merged commit b159d9e into master Oct 30, 2019
@Manishearth
Manishearth deleted the unicode-11 branch October 30, 2019 17:22
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