ok; looks like that 4.15.0-22-generic just released and wasn't what I used in the first reproduction... I doubt that's it. On Tue, May 22, 2018 at 4:58 PM, Ryan Harper