mirror of
https://github.com/vector-im/element-web.git
synced 2026-06-28 03:19:10 +00:00
6e8edbb418
Use the magic from matrix-doc to get the PR number, as commented.