Vagrant Cascadian <[email protected]> writes: > On 2019-01-23, Mark H Weaver wrote: >> Here's a proposed (untested) patch. Would you like to test it and see >> if it eliminates the need for this workaround? > > It did, thanks!
Okay, I pushed it to master, commit
ff0b73028c0bbbcbf352989ed3863947357c3bce.
I'm closing this bug report.
Thanks!
Mark
