Vagrant Cascadian <vagr...@debian.org> 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