Closed zliu41 closed 2 years ago
See https://github.com/con-kitty/categorifier/pull/67#issuecomment-1121351200
See https://github.com/con-kitty/categorifier/pull/67#issuecomment-1121351200