Missing newline at the end of a log message.

coq · Jan 15, 2025 · fba784b · fba784b
1 parent 1872523
commit fba784b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/actions.ml b/src/actions.ml
@@ -2811,7 +2811,7 @@ let add_to_column ~bot_info ~backport_to id option =
       Lwt.return_error
         (f "Error: Unexpected result when looking for '%s'." option)
   | Ok (project_id, None) -> (
-      Lwt_io.printf
+      Lwt_io.printlf
         "Required backporting field '%s' does not exist yet. Creating it..."
         field
       >>= fun () ->