Revision 521cea4870564a70e2030636b2b340039d2f11cf

Committed on 25/10/2023 5:09 am by Niels Keurentjes <niels.keurentjes@omines.com> [GitHub Diff]

Apply more code quality improvements