Make the port number optional in JupyterConnectionInfo() (#2473)
* fix: JupyterConnectionInfo port type * fix: jupyter_client base_url * fix: JupyterConnectionInfo
L
luxuncang committed
4e13f22cbf85e5ad43c81287729adc2aec925f6c
Parent: b7366b5
Committed by GitHub <noreply@github.com>
on 4/22/2024, 9:43:09 PM