Subject: Re: bug#37695: Issue Fixed

From: Tobias Geerinckx-Rice <[email-masked]>
Date: Thu, 10 Oct 2019 21:59:01 +0200

Steven,

Steven vanZyl 写道：
> This issue was fixed by commit: 
> 2d821e4c7fd8968639bd793f5e1485447fe49374

I've merged this bug with the duplicate (#37694, so you probably 
crossed each other :-) and closed it.

Thanks!

T G-R