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 /internal/siv_aead/benchmark.bash | |
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 'internal/siv_aead/benchmark.bash')
0 files changed, 0 insertions, 0 deletions