guriguri
2013-07-31 d80588d99511fac16495f8eaafa50e01a6b98995
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) {