Florian Zschocke
2013-08-20 9d2f661602049e0edbdac4fdcb2adb6b1f71b5de
src/main/java/com/gitblit/models/UserPreferences.java
@@ -37,6 +37,8 @@
   public final String username;
   public String locale;
   private final Map<String, UserRepositoryPreferences> repositoryPreferences = new TreeMap<String, UserRepositoryPreferences>();
   public UserPreferences(String username) {