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

Fix filtering user list by ID #339

Merged
merged 1 commit into from
Jul 13, 2016
Merged

Fix filtering user list by ID #339

merged 1 commit into from
Jul 13, 2016

Commits on Jul 13, 2016

  1. Fix filtering user list by ID 

    Fixes element-hq/element-web#1739
    @dbkr
    dbkr committed Jul 13, 2016
    Configuration menu
    Copy the full SHA
    6b03f72 View commit details
    Browse the repository at this point in the history