By Andreas Fuchs 810809
#534181 Hi Claude,

I have forwarded your report to the developers. You may want to join us on our Discord server: https://dev.swift-project.org/w/contact/