<br><br><div class="gmail_quote">On Wed, Jun 23, 2010 at 5:01 PM, David Simcha <span dir="ltr"><<a href="mailto:dsimcha@gmail.com">dsimcha@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
Isn't that the point of @property? I just followed what Andrei was doing. If there's anywhere where I didn't put @property in, it's purely an unintentional oversight. Please let me know and/or fix it.<br>
<br></blockquote><div>I don't have commit access to phobos. DummyRange.front on line 1644 and DummyRange.save (1647) should be properties, I believe. Also, 'front' on line 1553.<br></div></div><br>