v0.1.13

Elias Naur

@mail206

cbde34f1 · android: bump version code · Jul 14, 2020

- Add google sign-in support
- Add quick settings tile (#516)
- Don't switch off VPN for transient errors (#507)
- Avoid deadlocks at startup (#471)