Re: Can we please kill the hyphenator already?

[Martin Nowak]

On 09/30/2013 12:29 AM, Dicebot wrote:

On Sunday, 29 September 2013 at 22:25:03 UTC, H. S. Teoh wrote:

Wait, didn't somebody already merge the pull to kill off the hyphenator?
Did it get re-introduced unilaterally without discussion?

T

Did web-site actually get updated since that pull?

Yes, but the druntime docs weren't regenerated.
Phobos works fine now.