Skip to content

Fix findIdent incompatibility with Java 13#1439

Closed
michaelhixson wants to merge 1 commit into
google:masterfrom
michaelhixson:fix-find-ident-java-13
Closed

Fix findIdent incompatibility with Java 13#1439
michaelhixson wants to merge 1 commit into
google:masterfrom
michaelhixson:fix-find-ident-java-13

Conversation

@michaelhixson

Copy link
Copy Markdown
Contributor

Fixes #1432

@don-vip don-vip mentioned this pull request Feb 29, 2020
TimvdLippe added a commit to TimvdLippe/error-prone that referenced this pull request Apr 17, 2020
cpovirk pushed a commit that referenced this pull request Apr 28, 2020
Fixes #1432
Fixes #1439

-------------
Created by MOE: https://github.com/google/moe
MOE_MIGRATED_REVID=308794942
@cpovirk cpovirk mentioned this pull request Apr 28, 2020
cpovirk pushed a commit that referenced this pull request Apr 28, 2020
Fixes #1432
Fixes #1439

-------------
Created by MOE: https://github.com/google/moe
MOE_MIGRATED_REVID=308794942
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

2 participants