Hey there,

I noticed that `liboffloadmic/configure' and
`liboffloadmic/plugin/configure' lack execute permissions (`644' instead of
`755'), and I was wondering if that was intended.

Thanks for your time and effort.

Reply via email to