mirror of
https://github.com/vector-im/element-web.git
synced 2025-10-23 21:31:43 +02:00
This will have done its job now, everyone's had long enough to install a newer version of Riot and migrate to the new origin. Laves the code on the backend that handles it for the time being, as per comment.