From d50c5996b9888498389870874152ede1895f225d Mon Sep 17 00:00:00 2001 From: Andrew Morgan Date: Fri, 26 Jan 2024 13:32:13 -0700 Subject: [PATCH] changelog --- changelog.d/16856.doc | 1 + 1 file changed, 1 insertion(+) create mode 100644 changelog.d/16856.doc diff --git a/changelog.d/16856.doc b/changelog.d/16856.doc new file mode 100644 index 0000000000..3ab016d483 --- /dev/null +++ b/changelog.d/16856.doc @@ -0,0 +1 @@ +Fix building the developer documentation on the `develop` branch. \ No newline at end of file