Skip to content

Hotfix after 8

Add two fixes (although they don't improve CI results much...) and update CI results (oops).

Merge request reports