J. Ryan Stinnett 6fb8f6eef1 Add device IDs in user info tooltips ...

For easier device identification, add the device ID in an HTML tooltip for now.

Fixes https://github.com/vector-im/riot-web/issues/12103

2020-01-28 18:03:51 +00:00

..

structures

Merge pull request #3956 from matrix-org/jryans/trigger-cs-lab-4s

2020-01-28 14:13:04 +00:00

views

Add device IDs in user info tooltips

2020-01-28 18:03:51 +00:00