Revision 74dadb47db0ad46393ad59a07082dfa9f49fa6c4

Committed on 17/12/2023 11:39 pm by Niels Keurentjes <niels.keurentjes@omines.com> [GitHub Diff]

Fix code style