Merge remote-tracking branch 'upstream/master' into merge

2025-07-06 20:56:41 +00:00 · 2019-11-19 21:23:47 +00:00
parent 1556101a98 77ef0ae417
commit 2c9f192baf
272 changed files with 16041 additions and 6107 deletions
--- a/worldedit-core/src/main/java/com/sk89q/worldedit/entity/Player.java
+++ b/worldedit-core/src/main/java/com/sk89q/worldedit/entity/Player.java
@ -303,14 +303,6 @@ public interface Player extends Entity, Actor {
     */
    void setPosition(Vector3 pos, float pitch, float yaw);

-    /**
-     * Move the player.
-     *
-     * @param pos where to move them
-     */
-    @Override
-    void setPosition(Vector3 pos);
-
    /**
     * Sends a fake block to the client.
     *