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

Add support for Unicode 12.1 #563

Merged
merged 2 commits into from May 10, 2019
Merged

Add support for Unicode 12.1 #563

merged 2 commits into from May 10, 2019

Conversation

sarowe
Copy link
Contributor

@sarowe sarowe commented May 9, 2019

No description provided.

@sarowe sarowe requested a review from lsf37 as a code owner May 9, 2019
@sarowe sarowe self-assigned this May 9, 2019
@sarowe sarowe added the enhancement label May 9, 2019
@sarowe sarowe added this to In progress in Unicode via automation May 9, 2019
@sarowe sarowe added this to the 1.8.0 milestone May 9, 2019
@sarowe sarowe merged commit 46b00aa into master May 10, 2019
5 checks passed
Unicode automation moved this from In progress to Done May 10, 2019
@sarowe sarowe deleted the Add_Unicode-12.1 branch May 10, 2019
regisd pushed a commit that referenced this issue May 10, 2019
Author: Steve Rowe <sarowe@gmail.com>
Date:   Fri May 10 08:08:49 2019 +0300

    Add support for Unicode 12.1 (#563)

    Add support for Unicode 12.1

Updated from target/jflex-parent-1.8.0-SNAPSHOT-sources.jar
regisd added a commit to regisd/jflex that referenced this issue Dec 13, 2020
regisd added a commit to regisd/jflex that referenced this issue Dec 13, 2020
regisd added a commit that referenced this issue Dec 19, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement
Projects
Unicode
  
Done
Development

Successfully merging this pull request may close these issues.

None yet

1 participant