[JIRA] [core] (JENKINS-20219) Plugin Manager » Installed should have a Filter box

[dogf...@java.net (JIRA)]

dogfood commented on JENKINS-20219 Plugin Manager » Installed should have a Filter box Integrated in jenkins_main_trunk #3101 [FIXED JENKINS-20219] Filter for installed plugins (Revision 69ff77d43c0c9c4d2ad76aafb2eb811ecc7e1bd2) JENKINS-20219 Noting #1048. (Revision 554e4a6aa283cf24a25d2a5fc36af1f9947990ce) Result = SUCCESS iplaman : 69ff77d43c0c9c4d2ad76aafb2eb811ecc7e1bd2 Files : core/src/main/resources/hudson/PluginManager/installed.jelly Jesse Glick : 554e4a6aa283cf24a25d2a5fc36af1f9947990ce Files : changelog.html

This message is automatically generated by JIRA. If you think it was sent incorrectly, please contact your JIRA administrators. For more information on JIRA, see: http://www.atlassian.com/software/jira

--
You received this message because you are subscribed to the Google Groups "Jenkins Issues" group.
To unsubscribe from this group and stop receiving emails from it, send an email to jenkinsci-issues+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.