]> git.ipfire.org Git - thirdparty/valgrind.git/commitdiff
Merge from trunk:
authorJulian Seward <jseward@acm.org>
Wed, 5 Oct 2016 13:22:13 +0000 (13:22 +0000)
committerJulian Seward <jseward@acm.org>
Wed, 5 Oct 2016 13:22:13 +0000 (13:22 +0000)
  r3252  Fix rounding mode check and instruction stxvl

git-svn-id: svn://svn.valgrind.org/vex/branches/VEX_3_12_BRANCH@3255


Trivial merge