Skip to content
Jenkins
log in
Dashboard
RSS
Bukkit-RSS
#772
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Git Build Data
Previous Build
Next Build
Success
Changes
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
![[Jenkins]](/jenkins/static/55c4a03e/images/svgs/logo.svg){kind=logo}
