joomla/joomla-cms — pull request #2477 by infograf768 (2013-11-10 06:59:46+00:00)
Title: Banners Manager: Options is gone when filtering a category

Same issue and correction as done for Article Manager PR #2468