Skip to content

Avoid deprecated java.net.URL constructor#232

Merged
mkurz merged 1 commit into
mainfrom
new-URL
Jun 17, 2026
Merged

Avoid deprecated java.net.URL constructor#232
mkurz merged 1 commit into
mainfrom
new-URL

Commits

Commits on Jun 16, 2026