Skip to content

Merging develop into main

jurgenhaas requested to merge develop into main
  • Fix broken node theming for book export.
  • Fix a legal patch to a specific commit as a follow up commit breaks patching

Merge request reports