v4.2.5-1
21826cd4 · Merge pull request #862 from jupyterlab/update-to-v4.2.5 ·