Can we please kill the hyphenator already?

[H. S. Teoh]

On Mon, Sep 30, 2013 at 12:29:20AM +0200, 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?

Hmm, good point. AFAICT, the latest git HEAD seems like it hasn't been
installed to dlang.org yet.

Are we waiting for the next DMD release or something?


T

-- 
Freedom of speech: the whole world has no right *not* to hear my spouting off!