[issue7731] Search is sluggish

[Ezio Melotti]

Ezio Melotti <ezio.melotti at gmail.com> added the comment:

Since you opened a new ticket in the sphinx bug tracker I'll close this one.

----------
nosy: +ezio.melotti
priority:  -> normal
resolution:  -> duplicate
stage:  -> committed/rejected
status: open -> closed
type:  -> behavior

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue7731>
_______________________________________