Bug#883423: Same with avx512vbmi2vlintrin.h

To: 883423@bugs.debian.org
Subject: Bug#883423: Same with avx512vbmi2vlintrin.h
From: Sylvestre Ledru <sylvestre@debian.org>
Date: Sun, 3 Dec 2017 22:11:06 +0100
Message-id: <[🔎] 60f32785-f383-9f5a-73b8-42434b96c9e6@debian.org>
Reply-to: Sylvestre Ledru <sylvestre@debian.org>, 883423@bugs.debian.org
In-reply-to: <handler.883423.B.151233517031030.ack@bugs.debian.org>
References: <[🔎] 151233516656.11837.7964992625088202180.reportbug@palawan.mozilla.com> <handler.883423.B.151233517031030.ack@bugs.debian.org> <[🔎] 151233516656.11837.7964992625088202180.reportbug@palawan.mozilla.com>

avx512vbmi2vlintrin.h

Reply to:

References:
- Bug#883423: gcc-8: avx512vbmi2intrin.h is missing
  - From: Sylvestre Ledru <sylvestre@debian.org>