On Tue, 2019-12-17 at 10:26 -0700, Jerry Snitselaar wrote: > It appears he is out of the office until January, so I doubt I will hear > anything back until then. Unless we have access to a platform to sanely validate a fix before that, we will have to wait until January then. /Jarkko
