diff --git a/Jenkinsfile b/Jenkinsfile index f9e2383e7f..0fd2243549 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -8,4 +8,4 @@ */ dependenciesRevision='6a64bb27c1e36b51ff17335f34aa92b2e15fbd4c-2047' -kernelVersion='dev-4653' +kernelVersion='dev-4660'