Skip to content
Jenkins
All
Bukkit-RSS
#772
Search
Sign in
Status
Changes
Console Output
View Build Information
Polling Log
Git Build Data
Previous Build
Next Build
Changes
Started by an SCM change
Started 5 yr 5 mo ago
Took 0.78 sec
Summary
#538: Un-deprecate now implemented player portal event api (
details
)
Commit 05b2dc61327346839079e5684fad4a74e1cb351a by
md_5
#538: Un-deprecate now implemented player portal event api
The file was modified
src/main/java/org/bukkit/event/player/PlayerPortalEvent.java