Merge pull request #103 from ljader/fix-polish-locale-for-1.3.1

James Moger

2013-07-22 1c6ba31f066835b0c4251acf12580c8b40c4c91a

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