django/django — pull request #1877 by Bouke (2013-11-05 12:16:35+00:00)
Title: Fixed missing admindocs' site_header

The same problem as in [ticket 21293](https://code.djangoproject.com/ticket/21293), making the site's header disappear and user tools (logout) unfindable.