I believe that patch should go in shell.py too.


On Nov 15, 12:32 am, mdipierro <[email protected]> wrote:
> fixed in trunk
>
> On Nov 14, 8:13 pm, DenesL <[email protected]> wrote:
>
> > ^bump^
>
>

Reply via email to