On Thu, Jul 21, 2016 at 08:46:00PM +0300, Ilya Verbin wrote: > This patch contains an update for liboffloadmic, imported from > <https://www.openmprtl.org/download>, version 20160715. > > abidiff didn't show any difference in the functions, which are used by libgomp > plugin. make check with intelmicemul passed. OK for trunk?
Ok, thanks.
Jakub
