Re: [Python-Dev] Re: string.find() again (was Re: timsort for jython)