RE: [Python-Dev] Patch wanted

I did my best to determine what the core condition was and propose a change there.

Thanks for raising the issue in time to get it fixed. It went in last night and the build should be fine now. Raymond