Maintain repository 'description' file.

Florian Zschocke

2013-08-21 acb5bdf953e4242c175b22b4ddd2197079ee6ace

 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;