]> git.apps.os.sepia.ceph.com Git - ceph.git/commitdiff
Merge pull request #25876 from s0nea/wip-dashboard-rename-config-option-types
authorLenz Grimmer <lenz@grimmer.com>
Mon, 14 Jan 2019 14:14:21 +0000 (15:14 +0100)
committerGitHub <noreply@github.com>
Mon, 14 Jan 2019 14:14:21 +0000 (15:14 +0100)
mgr/dashboard: config option type names update

Reviewed-by: Stephan Müller <smueller@suse.com>

Trivial merge