Closed akov closed 6 years ago
This is a workaround for issue https://github.com/google/pasta/issues/32
Looks okay. Needs a real fix still, but I'm not sure how soon I'll get to it. Thanks
This is a workaround for issue https://github.com/google/pasta/issues/32