Closed giuseppe-steduto closed 1 year ago
running-notebooks
Closes #154
LGTM!
@tiborsimko do you have any more suggestions to make?
running-notebooks
page for users, documenting how they are alerted about auto-closure of their sessionsCloses #154