1.3.31

Video export where MP4 isn't available

A few browsers can't create MP4 files, mainly on Linux. If yours can, as Chrome and Safari on a Mac do, nothing changes: MP4 is still the default. Where it can't, exporting a video used to default to WAV, which is audio only, so the picture was lost, and a video with no sound failed to export at all. Export now defaults to WebM there, so you get your video.

Behind the scenes

The automated checks that run on every change now pass reliably, so a failure means a real problem.