DerelictGL3 reload crashes in 32 builds

[Igor via Digitalmars-d-learn]

On Wednesday, 23 August 2017 at 12:59:38 UTC, Mike Parker wrote:
> On Tuesday, 22 August 2017 at 12:03:18 UTC, Igor wrote:
>
>> [...]
>
> I'm not sure what you're referring to. There are a few static 
> if(Derelict_OS_Android) blocks in there as well.
>
> [...]

Ok Mike. Thanks for the info. If I learn anything new about the 
issue I will post it to the github.