Update project mithril to v0.1.22
Merge pull request #1856 from jsdelivrbot/mithril/v0.1.22

Update project mithril to v0.1.22
Update project terra to 1.3.1-beta
Merge pull request #1857 from jsdelivrbot/terra/1.3.1-beta

Update project terra to 1.3.1-beta