Skip to content

for release 2023.12

Ghost User requested to merge gh-ae2efe90/8/unknown/refs/pull/8/head into main

Created by: dakkar

all the changes up to now (better: up to the commits shown in the script), plus the documentation on building themes (moved from an older PR)

might need updating if we release more changes, of course

Merge request reports