Skip to content

Use the legacy OSSRH server#84

Merged
oleg-nenashev merged 1 commit intomainfrom oleg-nenashev-patch-1Oct 25, 2023

Commits

Commits on Oct 25, 2023