<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">2013/1/25 Jonathan M Davis <span dir="ltr"><<a href="mailto:jmdavisProg@gmx.com" target="_blank">jmdavisProg@gmx.com</a>></span><br><blockquote class="gmail_quote" style="margin-top:0px;margin-right:0px;margin-bottom:0px;margin-left:0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
<div class=""><div class="h5">I know, and I agree with it. But Andrei is pushing for removing @property<br></div></div>
entirely and looking for arguments to keep it. And IMHO, the issue of how<br>
setters are handled is an extremely good reason to keep @property.</blockquote><div><br></div><div>I'd like to argue that we should keep @property attribute.</div><div> <br></div><div>Kenji Hara</div></div></div></div>