On Fri, Nov 04, 2022 at 10:54:02AM +0100, Thomas Schwinge wrote: > Hi! > > 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 > branch commit e4cba49413ca429dc82f6aa2e88129ecb3fdd943 > "Remove support for Intel MIC offloading", see attached (generated with > 'git format-patch --irreversible-delete', 'xz -9'). Jakub
