Skip to content

Synchronize master branch with 2024-patches

Marco Clemencic requested to merge 2024-patches-sync into master

No change WRT master, but it records a merge commit to simplify future synchronization.

Edited by Marco Clemencic

Merge request reports