On 2017-02-28 15:58, Andrei Alexandrescu wrote:

It has been fixed on 2/25. Apologies for the annoyance. -- Andrei

I can see that it works now, thanks.

--
/Jacob Carlborg

Reply via email to