On 31.03.19 01:14, Andrei Alexandrescu wrote: > Great, so ag0aep6g you're good to go with your PR. I'd approved it > yesterday. Thanks, guys. Glad we managed to work this out. Just to be clear, I can't merge PRs. It sounds like you might expect me to do that.