This release of Open VSX consists of:
Deploying the server application is documented in the Wiki.
What's Changed
- Bump webui to 0.9.6 by @amvanbaren in #747
- Updated jOOQ classes by @amvanbaren in #748
- Add paging to query endpoints by @amvanbaren in #754
- Enforce implicit unique constraints in database by @amvanbaren in #756
- cleanup admin statistics endpoints by @amvanbaren in #757
- Upgrade to Java 17 by @amvanbaren in #759
Full Changelog: v0.12.0...v0.13.0