Update project mithril to v0.1.20
Merge pull request #1439 from jsdelivrbot/mithril/v0.1.20

Update project mithril to v0.1.20