Add a new support_x32 patch (#833541).
authorAaron M. Ucko <ucko@debian.org>
Fri, 5 Aug 2016 23:42:47 +0000 (19:42 -0400)
committerAaron M. Ucko <ucko@debian.org>
Fri, 5 Aug 2016 23:42:47 +0000 (19:42 -0400)
commit5e93c8f2dbd87ad91a773158e436e2ba4c9e0971
tree0b1cbfedff97ab0bc213b4f82d715224f6f82f7f
parentb5c0bfa2ac48367c201ea9e40308333f42d057a0
Add a new support_x32 patch (#833541).

Avoid picking up wrong inline assembly.
debian/changelog
debian/patches/series
debian/patches/support_x32 [new file with mode: 0644]