These are chat archives for symengine/symengine

8th
Sep 2017
Shikhar Jaiswal
@ShikharJ
Sep 08 2017 08:22
@isuruf Anything else left to do with symengine/symengine#1302 ?
Isuru Fernando
@isuruf
Sep 08 2017 15:43
@ShikharJ, I'm not thrilled about removing unnecessary system headers. They might be unnecessary because of another system header which might not be true for another platform.
Shikhar Jaiswal
@ShikharJ
Sep 08 2017 15:47
Alright, can I also have a comment on symengine/symengine#1251 ?
Isuru Fernando
@isuruf
Sep 08 2017 15:51
Done