Skip to content

chore: port patch to isabelle 2024

Joshua Balthasar Kobschätzki requested to merge cobalt.rocks/isabelle2024 into main

Resolves ism#31 (closed). Basic testing for the server has been done. Most of the port was just re-doing the changes in server.scala for the server password and database bypass.

Merge request reports