On Fri, Nov 30, 2018 at 05:18:09PM +0900, Michael Paquier wrote:> No problem with that either. Thanks Noah for the lookup.
And done, without the change for worker_spi.--Michael