diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2018-06-24 15:30:07 +0200 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2018-06-24 15:31:33 +0200 |
| commit | 5eca4e86d4ef3b50605c38eacbba53872749de3c (patch) | |
| tree | a494a3c3bf9788ab5eadbf0207bbc49c7ee875ab /contrib/devtools/copyright_header.py | |
| parent | 3a4549301ab2468cd9ae0865aa66819878ae409a (diff) | |
| parent | 32d153fa360f73b4999701b97d55b12318fd2659 (diff) | |
Merge #13471: For AVX2 code, also check for AVX, XSAVE, and OS support
32d153fa360f73b4999701b97d55b12318fd2659 For AVX2 code, also check for AVX, XSAVE, and OS support (Pieter Wuille)
Pull request description:
Fixes #12903.
Tree-SHA512: 01e71efb5d3a43c49a145a5b1dc4fe7d0a491e1e78479e7df830a2aaac57c3dcfc316e28984c695206c76f93b68e4350fc037ca36756ca579b7070e39c835da2
Diffstat (limited to 'contrib/devtools/copyright_header.py')
0 files changed, 0 insertions, 0 deletions