Merge branch '20230124_fix_file_permissions' into 'main'

no executable permissions for *.[ch]-files

See merge request !398