On 3/30/19 8:19 PM, ag0aep6g wrote: > 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. Did so. Thanks for the work.