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?
- Can we please kill the hyphenator already? Andrej Mitrovic
- Re: Can we please kill the hyphenator already? H. S. Teoh
- Re: Can we please kill the hyphenator already? Dicebot
- Re: Can we please kill the hyphenator already... H. S. Teoh
- Re: Can we please kill the hyphenator already... Andrei Alexandrescu
- Re: Can we please kill the hyphenator already... Jonathan M Davis
- Re: Can we please kill the hyphenator already... Martin Nowak
- Re: Can we please kill the hyphenator already... Jakob Ovrum
- Re: Can we please kill the hyphenator alr... Andrei Alexandrescu
- Re: Can we please kill the hyphenator already? Andrei Alexandrescu
- Re: Can we please kill the hyphenator already? w0rp
- Re: Can we please kill the hyphenator already... Wyatt
- Re: Can we please kill the hyphenator alr... Craig Dillabaugh
