mantisbt/mantisbt — pull request #238 by dregad (2014-08-07 23:49:13+00:00)
Title: Improve print_user_option_list() performance

http://www.mantisbt.org/bugs/view.php?id=17577