Andreas b4348691f8 Remove clutter in main (#6437)
(cherry picked from commit 560be9f553ad2f319886e3da6d4ebeabc1ee158a)
2022-01-08 17:43:46 -05:00
..
2022-01-08 17:43:46 -05:00
2021-05-31 23:48:06 -04:00