get rid of TRAVIS_JOB_NUMBER so stuff can be cached
authorMichael Wallner <mike@php.net>
Fri, 2 Mar 2018 14:27:20 +0000 (15:27 +0100)
committerMichael Wallner <mike@php.net>
Fri, 2 Mar 2018 14:27:20 +0000 (15:27 +0100)

No differences found