On 2012-11-07 04:40, Walter Bright wrote: > I didn't say remove it. I said deprecate it. I would assume that if a feature is getting deprecated it will be removed somewhere in the future, otherwise what's the reason for deprecating it? -- /Jacob Carlborg