Build of develop from Tue Nov 14 14:03:09 UTC 2023

opencast · Nov 14, 2023 · 9268bc7 · 9268bc7
1 parent 4fc21d1
commit 9268bc7
Show file tree

Hide file tree

Showing 5 changed files with 6 additions and 10 deletions.
diff --git a/develop/admin/index.html b/develop/admin/index.html
@@ -813,5 +813,5 @@ <h2 id="release-documentation">Release Documentation</h2>
 </html>
 <!--
 MkDocs version : 1.5.3
-Build Date UTC : 2023-11-09 20:44:58.495322+00:00
+Build Date UTC : 2023-11-14 14:02:53.983113+00:00
 -->
diff --git a/develop/admin/sitemap.xml.gz b/develop/admin/sitemap.xml.gz
diff --git a/develop/commit b/develop/commit
@@ -1,9 +1,5 @@
-commit 255a08696f874cc7d53f4d04940e3d02de8e645f
-Author: Greg Logan <[email protected]>
-Date:   Thu Nov 9 14:11:23 2023 -0600
+commit f20e40a098b826363f0bef33eb7e2a665a947386
+Author: Lars Kiesow <[email protected]>
+Date:   Tue Nov 14 15:02:05 2023 +0100
 
-    Merge branch 'dependabot/maven/modules/rest-test-environment/org.eclipse.jetty-jetty-server-9.4.51.v20230217' of opencast/opencast into develop
-
-    Pull request #5039
-
-      Bump jetty-server from 9.4.20.v20190813 to 9.4.51.v20230217 in /modules/rest-test-environment
+    Merge r/14.x into develop
diff --git a/develop/developer/index.html b/develop/developer/index.html
@@ -402,5 +402,5 @@ <h1 id="opencast-development-guides">Opencast Development Guides</h1>
 </html>
 <!--
 MkDocs version : 1.5.3
-Build Date UTC : 2023-11-09 20:44:59.923036+00:00
+Build Date UTC : 2023-11-14 14:02:55.732881+00:00
 -->
diff --git a/develop/developer/sitemap.xml.gz b/develop/developer/sitemap.xml.gz