Subject: 25.0.50; Inferior-python-mode buffer can't be killed if process is dead
From: [email-masked] (Fabián Ezequiel Gallina)
To: [email-masked]
Date: Thu, 12 Feb 2015 00:42:11 -0300
List-Id: <debbugs-submit.debbugs.gnu.org>

Fixed at revno da726ad in the master branch.

Thanks,
Fabián.