mirror of
https://github.com/vector-im/element-web.git
synced 2026-07-04 14:30:46 +00:00
6e8edbb418
Use the magic from matrix-doc to get the PR number, as commented.