Revision 13791029f2203eec6dee94481a7de25948f995ed

Committed on 01/12/2023 3:45 pm by Niels Keurentjes <niels.keurentjes@omines.com> [GitHub Diff]

Apply code style