** Tags added: patch -- You received this bug notification because you are a member of Ubuntu Review Team, which is a direct subscriber. https://bugs.launchpad.net/bugs/780551 Title: incorrect interface in avxintrin.h