jenkins being restarted

[Chris Lambertus]

Jenkins crashed around 0200 UTC 16 May. We are restarting it with some 
additional performance adjustments added to the config.

-Chris
ASF Infra

signature.asc
Description: Message signed with OpenPGP