Skip to content

Conversation

alexander-yakushev
Copy link
Member

@alexander-yakushev alexander-yakushev commented May 5, 2025

To be merged after the other PR.


  • You've updated the changelog (if adding/changing user-visible functionality)
  • You've updated the user manual (if adding/changing user-visible functionality)

@alexander-yakushev alexander-yakushev requested a review from bbatsov May 5, 2025 12:01
@alexander-yakushev alexander-yakushev force-pushed the enable-download-java-sourcse branch from 2990b24 to ae50117 Compare May 5, 2025 17:14
@alexander-yakushev alexander-yakushev merged commit 525c464 into master May 5, 2025
16 checks passed
@alexander-yakushev alexander-yakushev deleted the enable-download-java-sourcse branch May 5, 2025 17:19
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