These are chat archives for symengine/symengine

11th
Jul 2016
Srajan Garg
@srajangarg
Jul 11 2016 20:05
Is it just me or the GitHub font has changed for all texts (PR headings/comments etc)?
Isuru Fernando
@isuruf
Jul 11 2016 20:26
Me too