Skip to content

Conversation

@marktsuchida
Copy link
Collaborator

Closes #29.

(Assisted by Claude Code; any errors are mine.)

(Assisted by Claude Code; any errors are mine.)
@marktsuchida marktsuchida merged commit fa0830f into main Dec 8, 2025
6 checks passed
@marktsuchida marktsuchida deleted the clear-cache branch December 8, 2025 20:46
@tlambert03
Copy link
Contributor

ty!

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.

Feature: Add option to remove cached JDKs?

2 participants