[IPython-dev] Thanks for the kernel shutdown button!

[Fernando Perez]

To whomever was responsible for the per-kernel shutdown button in the
Dashboard: thank you!  I just noticed it recently and don't know as
part of which PR it landed (it's hard to keep track at this point :),
but it's great!  It was something that had bugged me since the start,
so I'm really happy to see a clean solution for it.

Cheers,

f