On 9/26/13 3:06 PM, Simon Pieters wrote: > On Thu, 26 Sep 2013 20:02:14 +0200, Boris Zbarsky <bzbarsky@mit.edu> wrote: >> The last time I brought up the issue of getters and setters having >> different types on public-script-coord people seemed opposed to the >> magic, fwiw. > > Do you have a pointer? http://lists.w3.org/Archives/Public/public-script-coord/2013AprJun/0153.html and following thread. -BorisReceived on Thursday, 26 September 2013 19:35:46 UTC
This archive was generated by hypermail 2.4.0 : Monday, 23 January 2023 02:14:32 UTC