Merged #213 "Fix exception in FileTicketService when deleting a repository"

James Moger

2014-10-31 9197cd604caa067186a8639882afa881c37be291

 src/main/java/com/gitblit/manager/IUserManager.java

@@ -24,6 +24,7 @@
    *
    * @param username
    * @return true if the specified username represents an internal account
     * @since 1.4.0
    */
   boolean isInternalAccount(String username);