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

[Chris Jerdonek]

New submission from Chris Jerdonek:

Neither searching for "server-side" nor "clone" in the devguide "Quick Search" box pulls up the mention of server-side clones:

http://docs.python.org/devguide/committing.html#long-term-development-of-features

----------
components: Devguide
messages: 172849
nosy: chris.jerdonek, eric.araujo, ezio.melotti, ncoghlan
priority: normal
severity: normal
status: open
title: "server-side clone" not found by devguide's search box
type: enhancement

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