David Higton Wed, 01 Jan 2020 06:29:05 -0800
I can confirm that I no longer see the bug in build CI#4962, so I agree that is is resolved.
Thank you! David
