Merge branch 'master' of https://github.com/gitblit/gitblit

mrbytes

2013-07-19 1c5a45ebe6285b0f6a9b8f50d5467baa11a1ff63

 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) {