On 11/14/12 4:47 AM, Jacob Carlborg wrote:
On 2012-11-14 11:38, Walter Bright wrote:Not that I can think of.Then we might want to remove it since it's either not working or basically everyone has misunderstood how it should work.
Actually this hypothesis is false. Andrei