Revision f315a2aaaedb94b843de91515579d202ccb04de7

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

More code modernization