Merge pull request #5676 from jupyter/title-by-label
Title new buttons with label if action undefinedpull/5678/head
commit
cd9d0c9fe1
Loading…
Reference in new issue