GitHub repository: mantisbt-plugins/FilterBugList
Primary language: PHP
Description: Mantis Plugin adding a field in the filter to filter by a given list of bug IDs