#835175 gitk: File filter doesn't work, wrong or empty result

Package:
gitk
Source:
git
Submitter:
"Ph. Marek"
Date:
2016-08-23 10:24:06 UTC
Severity:
normal