On 2024/04/09 18:50, Daniel Dickman wrote: > Updating jupyter notebook needs jupyterlab 4+ which needs newer > jupyter_server. > > So let's try update to the latest release of jupyter_server. > > Let's start with py-rpds-py. > > py-rpds-py is a less standard port than others so I'd like to get this one > in before doing a batch of pure Python ports. It depends on maturin for > the build similar to www/py-adblock. > > Having this port in the tree will then being able to update > devel/py-jsonschema (which is also needs for the jupyter_server update). > > ok to import?
Typo in COMMENT, otherwise OK.
