On Thu, Nov 8, 2018 at 6:00 AM Miguel Ojeda<miguel.ojeda.sandonis@gmail.com> wrote:>> A small patch for compiler-gcc.h and a trivial one for compiler_attributes.h.Pulled, Linus