diff options
Diffstat (limited to 'settings')
| -rw-r--r-- | settings/js/users/filter.js | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/settings/js/users/filter.js b/settings/js/users/filter.js index bd3473d0e4d..1f7a29de0c9 100644 --- a/settings/js/users/filter.js +++ b/settings/js/users/filter.js @@ -53,7 +53,6 @@ UserManagementFilter.prototype.init = function() { * taken care of */ UserManagementFilter.prototype.run = _.debounce(function() { - console.log(this); this.userList.empty(); this.userList.update(GroupList.getCurrentGID()); this.groupList.empty(); |