These two patches address a couple issues with the HTML UI and provider
switching. The first resolves JIRA 124. Since they are urgent, I already
pushed them.

Reply via email to