Skip to content
This repository has been archived by the owner on Sep 11, 2024. It is now read-only.

Allow changing servers on nonfatal errors #3102

Merged
merged 2 commits into from
Jun 13, 2019
Merged

Allow changing servers on nonfatal errors #3102

merged 2 commits into from
Jun 13, 2019

Commits on Jun 13, 2019

  1. Allow changing servers on nonfatal errors 

    Fixes element-hq/element-web#10016
    @dbkr
    dbkr committed Jun 13, 2019
    Configuration menu
    Copy the full SHA
    e884ccc View commit details
    Browse the repository at this point in the history

  2. Random blank lines

    @dbkr
    dbkr committed Jun 13, 2019
    Configuration menu
    Copy the full SHA
    06a11f4 View commit details
    Browse the repository at this point in the history