Remove dotted border on [role=button] elements with a tooltip#587

lucaslarroche merged 1 commit intopicocss:devpicocss/pico:devfrom

panda-madness:patch-1panda-madness/pico:patch-1Copy head branch name to clipboard