Manticore 0.3.2#1547

Merged

ehennenfent merged 5 commits intomasterfrom

manticore-0.3.2

Nov 12, 2019

Commits on Nov 1, 2019

Bump to version 0.3.2
Eric Hennenfent
committed

Commits on Nov 8, 2019

Merge branch 'master' into manticore-0.3.2
Eric Hennenfent
committed
Update changelog for new PR's
Eric Hennenfent
committed

Commits on Nov 12, 2019

Merge branch 'master' into manticore-0.3.2
Eric Hennenfent
committed
Update changelog
Eric Hennenfent
committed