[issue16222] "server-side clone" not found by devguide's search box

[Chris Jerdonek]

Chris Jerdonek added the comment:

I filed this in case it signals some underlying issue with search that could use improving (and that may affect other search terms).  I can change the title to remove the focus on those two terms.

----------

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