diff -r cc8391b92747 -r f627ab8c276c src/Pure/Admin/build_log.scala
--- a/src/Pure/Admin/build_log.scala	Tue Oct 31 14:26:19 2023 +0100
+++ b/src/Pure/Admin/build_log.scala	Tue Oct 31 14:35:51 2023 +0100
@@ -846,8 +846,7 @@
         port = options.int("build_log_database_port"),
         ssh_host = options.string("build_log_ssh_host"),
         ssh_port = options.int("build_log_ssh_port"),
-        ssh_user = options.string("build_log_ssh_user"),
-        synchronous_commit = options.string("build_log_database_synchronous_commit"))
+        ssh_user = options.string("build_log_ssh_user"))
 
     def init_database(db: SQL.Database, minimal: Boolean = false): Unit =
       private_data.transaction_lock(db, create = true, label = "build_log_init") {