Merge branch 'bl/gitweb-project-filter'

* bl/gitweb-project-filter: gitweb: Harden and improve $project_filter page title

Junio C Hamano committed Feb 14, 2012 at 12:57 UTC a49060324a5470f1722a24efebae81c0e6ff042a

No changes.