v0.4.2 - 2020-08-18

Changes:

• fb9ee3b Merge pull request #109 from constellation-rs/v0.4.2
• aecc8c9 v0.4.2
• 30c72ed fix miri
• 4c2d2ec Merge pull request #108 from constellation-rs/miri
• 4a4c9f3 fix under miri
• 0a06de6 update rust CI
• cc7eaa4 get miri working

This list of changes was auto generated.