Fix a todo in workspace

b7712c2f4bAntonio Scandurra committed on 11/3/2023, 10:36:39 AMparentbed10b4
2 files changedLine totals unavailable