Closed inkdot7 closed 1 year ago
This is essentially the same as #858 but without the clang-format change before it. It also removes a crufty comment, so might be a bit better that #858.
This is essentially the same as #858 but without the clang-format change before it. It also removes a crufty comment, so might be a bit better that #858.