Revision 521cea4870564a70e2030636b2b340039d2f11cf

Committed on 25/10/2023 5:09 am by Niels Keurentjes <[email protected]> [GitHub Diff]

Apply more code quality improvements