On Monday, 15 June 2020 at 14:55:37 UTC, Andrej Mitrovic wrote: > On Monday, 15 June 2020 at 14:18:38 UTC, Timon Gehr wrote: >> Apparently, it has been fixed in 2.092. Nice! > > Oh wow that's fantastic. Does anyone know which changeset / PR > fixed it? The person who fixed that must be commended.