Learn more about these different git repos.
Other Git URLs
b9a7569
@@ -167,7 +167,8 @@
</div>
<div class="btn-group">
<button class="btn btn-sm btn-outline-secondary border-0 dropdown-toggle" data-flip="false" type="button" id="dropdownMenuButton" data-toggle="dropdown" aria-haspopup="true" aria-expanded="false">
- <span class="font-weight-bold">Filter{%if
+ <span class="font-weight-bold">
+ <i class="fa fa-search pl-2 pr-1" title="Filter"></i>Filter{%if
tags or
milestones or
priority or
Fixes https://pagure.io/pagure/issue/4085
Signed-off-by: Pierre-Yves Chibon pingou@pingoured.fr
:thumbsup:
rebased onto b9a7569
2 of the 3 scenario passed before the node ran out of disk-space, so I'm going to assume the third one would have passed as well (as it did before).
Thanks for the review :)
Pull-Request has been merged by pingou
Fixes https://pagure.io/pagure/issue/4085
Signed-off-by: Pierre-Yves Chibon pingou@pingoured.fr