Re: [w3c/webcomponents] Updating Element Registration. (#820)

Refreshing the page is not really an option.

In any case, I didn't think this would be easily implemented. It was more about what people's thoughts were about the idea and if there was something obvious I was missing

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/w3c/webcomponents/issues/820#issuecomment-505299738

Received on Tuesday, 25 June 2019 06:13:21 UTC