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

2 participants