Closed mkhattab940 closed 6 years ago
Sorry, this was unintentional. I was trying to do a pull request within our fork. I will re-open because these changes could be added to the main repo
On a meta-note, we really ought to get import working so contributions like this can be merged.
Should we really wait until we have import
to merge this?
Probably not.
On Oct 15, 2017 14:22, "Jacques Carette" notifications@github.com wrote:
Should we really wait until we have import to merge this?
— You are receiving this because you commented. Reply to this email directly, view it on GitHub https://github.com/hakaru-dev/hakaru/pull/112#issuecomment-336711255, or mute the thread https://github.com/notifications/unsubscribe-auth/AAAhUf1WNoVZLpHdScnmZ3X5FMYIndgjks5ssgcRgaJpZM4P5Zz2 .
Why did you close this?