Re: [Lava-users] Yet another problem I discovered with Lava 2018.2