Update project mithril to v0.1.23
Merge pull request #2341 from jsdelivrbot/mithril/v0.1.23

Update project mithril to v0.1.23