Thanks, Ondrej. Cleaned up in r4117. On 08/04/2008, Ondrej Certik <ondrej@certik.cz> wrote: > Hi, > > I think this patch should be applied: > > $ svn di interface.py > Index: interface.py