Build of develop from Tue Dec 12 16:39:20 UTC 2023

opencast · Dec 12, 2023 · 0d1aec4 · 0d1aec4
1 parent 0f1a3a4
commit 0d1aec4
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 10 deletions.
diff --git a/develop/admin/index.html b/develop/admin/index.html
@@ -796,5 +796,5 @@ <h2 id="release-documentation">Release Documentation</h2>
 </html>
 <!--
 MkDocs version : 1.5.3
-Build Date UTC : 2023-12-12 16:34:09.796155+00:00
+Build Date UTC : 2023-12-12 16:39:09.502659+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,13 +1,8 @@
-commit 13b806a1dc77ed501ab9aec7fc78c2351ca20d2e
+commit 7f17c883229764a72d57a7cb00b654fff5eec136
 Author: Matthias Neugebauer <[email protected]>
-Date:   Tue Dec 12 17:33:37 2023 +0100
+Date:   Tue Dec 12 17:38:38 2023 +0100
 
     Merge branch 'r/15.x' into develop
 
     * r/15.x:
-      Opencast 14.7 release notes
-      Paella 7: Hide/Show timeline bar on live events (#5420)
-      Automatically update translation keys (r/14.x)
-      Automatically update translation keys (r/15.x)
-      Fix update translations workflow
-      Clean up build config
+      Automatically update translation keys (r/13.x)
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-12-12 16:34:11.228169+00:00
+Build Date UTC : 2023-12-12 16:39:10.920188+00:00
 -->
diff --git a/develop/developer/sitemap.xml.gz b/develop/developer/sitemap.xml.gz