Skip to content
Jenkins
log in
Dashboard
RSS
Bukkit-RSS
#47
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Git Build Data
Previous Build
Next Build
Success
Changes
Summary
Fixed problems with World.getPlayers() (
details
)
Commit 262d940478730387c77cc97c354bd99a342d9bb4 by
johannesd
Fixed problems with World.getPlayers()
The file was modified
CraftBukkit-Patches/0160-Allow-Capping-Tile-Entity-Tick-Time.patch
![[Jenkins]](/jenkins/static/55c4a03e/images/svgs/logo.svg){kind=logo}
