On Thu, Oct 20, 2022 at 01:15:43PM +0200, Thomas Schwinge wrote: > I'm proposing the attached "Remove support for Intel MIC offloading" > (generated with 'git format-patch --irreversible-delete', and 'diff's for > regenerated files manually snipped, to reduce its size).
ChangeLog missing, you'll need one for a successful commit.
Otherwise LGTM. But we'll need to update the offloading wiki too.
Jakub
