diff options
| author | Jakob Unterwurzacher | 2018-02-27 18:01:24 +0100 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2018-02-27 18:01:24 +0100 |
| commit | ac8f8bf4328d6d5c346004c7c0ef8e651aeaef93 (patch) | |
| tree | 00548540bf4b0121b4948a12d0baa015ba75a353 /Documentation/performance.txt | |
| parent | 7f6e4ba47a49c9cb160f83f38460529056c76a96 (diff) | |
travis ci: switch to "1.10.x" notation
"1.10" does not work as expected because it
is parsed as a floating point number:
https://github.com/travis-ci/travis-ci/issues/9247
Added benefit is that we always get the latest point
release.
Diffstat (limited to 'Documentation/performance.txt')
0 files changed, 0 insertions, 0 deletions