[Lava-devel] Design meeting minutes from 2019-07-17