Skip to content

Terminate on SIGTERM#217

Merged
betatim merged 1 commit intojupyterhub:masterfrom
consideRatio:handle-sigterm
Nov 12, 2019

Commits

Commits on Nov 11, 2019