Re: [Python-Dev] Online docs: make index search available everywhere

2012-09-06 Thread R. David Murray
On Thu, 06 Sep 2012 13:15:14 -0400, Terry Reedy wrote: > On 9/5/2012 8:53 PM, Nick Coghlan wrote: > > On Thu, Sep 6, 2012 at 8:13 AM, Terry Reedy wrote: > >> I presume this suggestion does not belong on bugs.python.org, so I hope one > >> of the docs people reading pydev will do something with it

Re: [Python-Dev] Online docs: make index search available everywhere

2012-09-06 Thread Terry Reedy
On 9/5/2012 8:53 PM, Nick Coghlan wrote: On Thu, Sep 6, 2012 at 8:13 AM, Terry Reedy wrote: I presume this suggestion does not belong on bugs.python.org, so I hope one of the docs people reading pydev will do something with it. Why do you assume that? My understanding is that the tracker is

Re: [Python-Dev] Coverity scan

2012-09-06 Thread Stefan Krah
Christian Heimes wrote: > Coverity has some new features like notification of new possible issue > and build steps. We could create a new mailing list for coverity scan > builds and results, The mailing list should be exclusive to core devs as > the issues may be security relevant. The mailing li