Hi Jakub! On 2022-11-04T11:30:04+0100, Jakub Jelinek <ja...@redhat.com> wrote: > On Fri, Nov 04, 2022 at 10:54:02AM +0100, Thomas Schwinge wrote: >> On 2022-10-20T22:56:57+0200, I wrote: >> > Hi Jakub, Tobias! >> > >> > On 2022-10-20T13:15:43+0200, I wrote: >> >> I'm proposing the attached "Remove support for Intel MIC offloading" >> > >> > Can you please confirm: >> >> Taking your non-response as silent approval, I've now pushed to master > > I have responded in > https://gcc.gnu.org/pipermail/gcc-patches/2022-October/603988.html
That's correct, but later I sent this other email where I asked "Can you please confirm: [...]", which had not gotten a response. (..., but I convinced myself that my thinking was correct, so I now did proceed understanding "non-response as silent approval".) Grüße Thomas ----------------- Siemens Electronic Design Automation GmbH; Anschrift: Arnulfstraße 201, 80634 München; Gesellschaft mit beschränkter Haftung; Geschäftsführer: Thomas Heurung, Frank Thürauf; Sitz der Gesellschaft: München; Registergericht München, HRB 106955