Skip to content

Small fixes

Guido Günther requested to merge fixes into main

See commit message for detail.

Merge request reports