Skip to content

v1.1.3

Choose a tag to compare

@github-actions github-actions released this 27 Jan 12:37
· 4 commits to main since this release

What's Changed

Other Changes 💡

  • 3dc2479 make hott-util a transitive dependency again
  • 74f5cfd use JavaFX plugin