Closed ddcprg closed 4 years ago
Fixes #13 and sdkman/sdkman-cli#709
Thanks! I'll release it to prod today.
Nice @marc0der ! Thank you!
I've just released it. Can you confirm that it working as expected?
Fixes #13 and sdkman/sdkman-cli#709