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