shiftkey/desktop release-1.0.13

1.0.13 Linux RC

on GitHub

Highlights from this update:

• desktop#3879 - Commit together with co-authors

These PRs contain Linux-specific improvements:

• desktop#3732 - Improved error handling for Linux
• desktop#3683 - Update placeholders to support Linux distributions

For more information refer to the release notes on desktop.github.com.