Jenkins version bump [100.1.2]