Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Treat 'devel/*' branches as 'master' in the ThemeChooser
If we assume that devel/* branches are up to date with master, this will allow devel/* users to download and install themes if they choose.
- Loading branch information