Pull Request - Python tracker

➜

This issue tracker has been migrated to GitHub, and is currently read-only.
For more information, see the GitHub FAQs in the Python's Developer Guide.

URL	PR 9431
Status	merged
Title	[3.7] bpo-34733: Return of the docs search bar

History
Date	User	Action	Args
2018-09-19 21:51:20	yselivanov	set	status: open -> merged
2018-09-19 21:45:50	yselivanov	set	title: bpo-34733: Return of the docs search bar -> [3.7] bpo-34733: Return of the docs search bar
2018-09-19 21:45:38	yselivanov	link	issue34733 pull_requests
2018-09-19 21:45:38	yselivanov	create