Skip to content

Changes between #155 and #157

#157 (Apr 17, 2023, 9:20:11 PM)

  1. build: plug-ins and dependencies updated — Christoph Schulz / detail
  2. build: switched to Java 17 — Christoph Schulz / detail