On Sat, Jun 29, 2019 at 23:27:43 +0000, Carl Dong wrote: > Hi Mike and Ludo! > > I believe I've found a solution to the problem that Ludo was encountering. Thank you for picking this up, and sorry again that I wasn't able to find the time. I'm glad this patch is useful to someone else, and I'm looking forward to seeing it applied. -- Mike Gerwitz