June 15
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.
June 15
On Monday, 15 June 2020 at 15:00:12 UTC, Max Samukha wrote:
> 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.

I think it's this one? https://github.com/dlang/dmd/pull/10702
Next ›   Last »
1 2 3