mirror of
https://github.com/jupyterhub/jupyterhub.git
synced 2025-10-15 22:13:00 +00:00

- Instead of creating many options for different timeouts of users and servers, just add a note that the whole culler can be run multiple times with different options. See discussion in #1834. - Closes: #1834