<!DOCTYPE html>
<html>
<head>
<title></title>
</head>
<body><div>On Thu, Nov 24, 2016, at 07:50 PM, Thomas Kluyver wrote:<br></div>
<blockquote type="cite"><div>I made a PR to flit to handle this case better in uninstallation.<br></div>
</blockquote><br>I meant a PR to *pip*.<br><div><br></div>
</body>
</html>