From d65e0d4665255f1c763b680f3ee4106e54dabf23 Mon Sep 17 00:00:00 2001
From: tastybento <tastybento@wasteofplastic.com>
Date: Sat, 16 Nov 2019 18:17:55 -0800
Subject: [PATCH] Adds to JavaDoc

---
 .../java/world/bentobox/bentobox/managers/PlayersManager.java   | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/java/world/bentobox/bentobox/managers/PlayersManager.java b/src/main/java/world/bentobox/bentobox/managers/PlayersManager.java
index a54ed1373..35ddfd25e 100644
--- a/src/main/java/world/bentobox/bentobox/managers/PlayersManager.java
+++ b/src/main/java/world/bentobox/bentobox/managers/PlayersManager.java
@@ -433,7 +433,7 @@ public class PlayersManager {
     /**
      * Tries to get the user from his name
      * @param name - name
-     * @return user - user
+     * @return user - user or null if unknown
      */
     public User getUser(String name) {
         return getUser(getUUID(name));