On Wed, Oct 11, 2017 at 4:16 PM, Robin Murphy <[email protected]> wrote: > On 11/10/17 14:59, Arnd Bergmann wrote: > > That said, I think the third option is now viable as well, namely to > shuffle some lines and get rid of the almost-duplicated ops entirely. > I'll have a quick go at that shortly.
Ok, thanks!
Arnd
