chore: port patch to isabelle 2024
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
Activity
Filter activity
requested review from @blohmar
assigned to @cobalt.rocks
mentioned in merge request !6 (merged)
mentioned in issue ism#31 (closed)
Please register or sign in to reply