iOS and Android mobile releases are built from this tag
This release contains various fixes, some mobile-specific highlights are
- Improved copy-paste on iOS (it's still not fully fixed but you should be able to copy/paste most things which don't require rich document context, for example bold text and hyperlinks should both copy/paste fine whereas footnotes won't)
- Fixed the Android progress bar
- Improved our external keyboard detection