Skip to content

Fix use of server settings#1440

Merged
jtpio merged 5 commits intojupyterlab:mainfrom
jtpio:server-settings-fix
Jan 5, 2026
Merged

Fix use of server settings#1440
jtpio merged 5 commits intojupyterlab:mainfrom
jtpio:server-settings-fix

Commits

Commits on Dec 31, 2025