mirror of
https://github.com/jupyterhub/jupyterhub.git
synced 2025-10-11 03:52:59 +00:00

rather than only when named_servers is enabled. Put new-in-0.9 state there, rather than continuing to add server fields to top-level user model.