Branch: refs/heads/master
Home: https://github.com/jenkinsci/jenkins
Commit: b3b059fc6037cffe635f53da9d4ae4b320d2e195
https://github.com/jenkinsci/jenkins/commit/b3b059fc6037cffe635f53da9d4ae4b320d2e195
Author: John Lin <[email protected]>
Date: 2022-04-19 (Tue, 19 Apr 2022)
Changed paths:
A core/src/main/resources/lib/form/filter-menu-button/filter-menu-button.js
M core/src/main/resources/lib/form/hetero-list/hetero-list.js
Log Message:
-----------
[JENKINS-62024] Add quick filter box for dropdown lists in hetero-list (#4688)
Co-authored-by: Tim Jacomb <[email protected]>
Co-authored-by: Tim Jacomb <[email protected]>
--
You received this message because you are subscribed to the Google Groups
"Jenkins Commits" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/jenkinsci-commits/jenkinsci/jenkins/push/refs/heads/master/fbfc89-b3b059%40github.com.
