Jonathan Brielmaier Mon, 11 May 2020 04:44:10 -0700
This was fixed by commit 0bcc1b14fc3e2382406b97577c56e2292b96b8d4 which arrived master with the last core-update merges.
