druntime repo

[Arun Chandrasekaran]

On Thursday, 10 October 2019 at 17:51:33 UTC, Daniel Kozak wrote:
> On Thu, Oct 10, 2019 at 6:45 PM Arun Chandrasekaran via 
> Digitalmars-d <digitalmars-d at puremagic.com> wrote:
>>
>> Right, but I don't see that discussion happening. As I can see 
>> there are three different PRs to revert it. Just duplication 
>> of effort.
>
> https://github.com/dlang/dmd/pull/10463

Thanks. Good to see that it's been worked on. How do you guys 
coordinate to avoid effort duplication. No pings on 
slack/discord/forum emails. Is there a different channel where 
these are discussed?