![]() The web library will probably still display the old tag in addition to the new one, at least until browser restart. We'll have to deal with that separately. Closes #1205 |
||
---|---|---|
.. | ||
runtests.html | ||
runtests.js | ||
support.js |
![]() The web library will probably still display the old tag in addition to the new one, at least until browser restart. We'll have to deal with that separately. Closes #1205 |
||
---|---|---|
.. | ||
runtests.html | ||
runtests.js | ||
support.js |