On Thu, Jul 15, 2021 at 02:04:24PM +0100, Robin Murphy wrote: > --- > > v2: Lowered the priority of the ops check per Baolu's suggestion, only > even further to the point of non-existence :) Err, missed this newer version. Replaced the previous patch with this one.