From ef70d11bb3d720085c6912ca147df14f7d45c5ae Mon Sep 17 00:00:00 2001 From: Konstantin Baierer Date: Thu, 23 Nov 2023 13:10:40 +0100 Subject: [PATCH] :memo: changelog --- CHANGELOG.md | 1 + 1 file changed, 1 insertion(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index b01f2c8e2..e77672724 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -20,6 +20,7 @@ Fixed: Added: * `ocrd workspace update-page` to set attributes on the `mets:div` of a page, #1133, #1134 + * `ocrd workspace list-page` now has configurable output format and optional partitioning of the page list, #1140, #1141 Changed: