On 4/22/11 4:04 PM, Timon Gehr wrote:
[snip]
This is also the reason I think it is a bad idea to deprecate D's
'delete'.

The functionality is not going away.

Andrei

Reply via email to