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.
