Hi Richard,
is it OK for you if we rename this bug report to "remove obsolete MAILMAN_THEME setting"?
Hi Richard,
is it OK for you if we rename this bug report to "remove obsolete MAILMAN_THEME setting"?