Re: Some way to change an element's name would be useful from Aryeh Gregor on 2011-08-30 (public-webapps@w3.org from July to September 2011)

From: Aryeh Gregor <ayg@aryeh.name>
Date: Tue, 30 Aug 2011 12:49:14 -0400
To: Anne van Kesteren <annevk@opera.com>, Ms2ger <ms2ger@gmail.com>
Cc: Robin Berjon <robin@berjon.com>, Dimitri Glazkov <dglazkov@chromium.org>, Boris Zbarsky <bzbarsky@mit.edu>, W3C WebApps WG <public-webapps@w3.org>, Ryosuke Niwa <rniwa@webkit.org>, Ehsan Akhgari <ehsan@mozilla.com>
Message-ID: <CAKA+AxntJ0yS3BSC92+0KZKPx9A6FOunm0T=qQS=bF221Gk5ng@mail.gmail.com>

I filed a bug against DOM Core:

http://www.w3.org/Bugs/Public/show_bug.cgi?id=13971

Received on Tuesday, 30 August 2011 16:50:03 UTC