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^ > >
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^ > >