manhole
2013-06-07 14a770319cdaf43b64278ffa45d5dad1ebb7b244
src/main/java/com/gitblit/authority/GitblitAuthority.java
@@ -804,6 +804,8 @@
   }
   
   private void filterUsers(final String fragment) {
      table.clearSelection();
      userCertificatePanel.setUserCertificateModel(null);
      if (StringUtils.isEmpty(fragment)) {
         table.setRowSorter(defaultSorter);
         return;