Skip to content

Change the label to Refreshing... on click#974

Draft
krassowski wants to merge 1 commit intojupyterlab:mainfrom krassowski:update-button
+4-1

Commits

Commits on Jul 11, 2021