The mail-man for the openstack-dev mail list is missing at least 'kolla' and 'development' checkboxes. It would be nice to make its filter case unsensitive as well, so it would match both 'All' and 'all' tags. How could we fix that? Any place to submit a PR? -- Best regards, Bogdan Dobrelya, Irc #bogdando