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
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