From 1f8ea80341d5176a25f7fadae0fd347dad1ed138 Mon Sep 17 00:00:00 2001
From: James Moger <james.moger@gitblit.com>
Date: Tue, 30 Sep 2014 11:09:33 -0400
Subject: [PATCH] Merged #200 "Update to Jetty 9.2.3.v20140905"

---
 src/main/java/com/gitblit/manager/IUserManager.java |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)

diff --git a/src/main/java/com/gitblit/manager/IUserManager.java b/src/main/java/com/gitblit/manager/IUserManager.java
index 945d6a8..b7ea9c4 100644
--- a/src/main/java/com/gitblit/manager/IUserManager.java
+++ b/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);
 

--
Gitblit v1.9.1