Revision 3fd844cd36b8cb2b7a305adbf5c0473d84a659cc

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

Update code style