roles/cms: set admin_num_proxies_used in the generated cms.conf#1
Open
pobrn wants to merge 1 commit intoioi:masterfrom ioi-2023:add_admin_num_proxies_used
+6
admin_num_proxies_used in the generated cms.conf#1