Change in jenkins[master]: Removing old check patch for Jenkins repo