Skip to content

Remove the deprecated option use_legacy_supplementaries#2202

Merged
zklaus merged 4 commits into
mainfrom
remove-use-legacy-supplementaries
Sep 28, 2023
Merged

Remove the deprecated option use_legacy_supplementaries#2202
zklaus merged 4 commits into
mainfrom
remove-use-legacy-supplementaries

Merge branch 'main' into remove-use-legacy-supplementaries

c57cb32
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs