On 7/1/20 12:58 PM, Cong Wang wrote:

On Wed, Jul 1, 2020 at 9:05 AM Cong Wang [off-list ref] wrote:

quoted

On Tue, Jun 30, 2020 at 2:08 PM Josh Hunt [off-list ref] wrote:

quoted

Do either of you know if there's been any development on a fix for this
issue? If not we can propose something.

If you have a reproducer, I can look into this.

Does the attached patch fix this bug completely?

Thanks.

Hey Cong

Unfortunately we don't have a reproducer that would be easy to share, 
however your patch makes sense to me at a high-level. We will test and 
let you know if this fixes our problem.

Thanks!
Josh