Skip to content

feat: Allow longer java symbol name#7603

Merged
sharang merged 2 commits intomainfrom
java-symbol
Jul 29, 2024
Merged

feat: Allow longer java symbol name#7603
sharang merged 2 commits intomainfrom
java-symbol

Conversation

@rvql
Copy link
Contributor

@rvql rvql commented Jul 29, 2024

This PR is for:

  • Agent

@rvql rvql requested review from sharang and yinjiping July 29, 2024 11:10
@rvql rvql force-pushed the java-symbol branch 2 times, most recently from d53f2ff to c78d799 Compare July 29, 2024 11:21
@sharang sharang enabled auto-merge (rebase) July 29, 2024 14:53
@sharang sharang merged commit b76c34f into main Jul 29, 2024
@sharang sharang deleted the java-symbol branch July 29, 2024 15:04
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.

2 participants