feat: shorten long agenda filter button labels#3602

rjsparks merged 1 commit into

ietf-tools:mainietf-tools/datatracker:mainfrom

painless-security:jennifer/short-agenda-filter-button-labelspainless-security/datatracker:jennifer/short-agenda-filter-button-labelsCopy head branch name to clipboard