Commit 1509d153 authored Jul 09, 2017 by Andreas Klöckner

Merge branch 'patch-1' into 'master'

Update symengine to 0.3.0

See merge request !50