On 01/17/2012 07:55 PM, Jonathan M Davis wrote:
On Tuesday, January 17, 2012 19:38:47 Timon Gehr wrote:
IMO it does not matter. I think we should just deprecate the -property
switch instead of engaging into that kind of fruitless discussion every
now and then. ;)
Then we might as well throw out @property and change TDPL. There's no point to
@property without enforcement. I think that that ship has pretty much sailed
already.
- Jonathan M Davis
Since -property is optional I think the relevant ships are still in the
haven.
