Skip to content
Jenkins
log in
Dashboard
RSS
Spigot-RSS
#289
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Git Build Data
Previous Build
Next Build
Success
Changes
Summary
Correct patch header (
details
)
Commit d63d57e1e522e6d3d52810800054021f99a21ba8 by
md_5
Correct patch header
The file was modified
CraftBukkit-Patches/0010-Spigot-Timings.patch
![[Jenkins]](/jenkins/static/904d747e/images/svgs/logo.svg){kind=logo}
