[PATCH 4/4] git v2.14: change how ignore-case is specified

[whydoubt at gmail.com (Jeff Smith)]

Update to git v2.14: commit 07a3d41 (grep: remove regflags from the
public grep_opt API) removed one way of specifying the ignore-case grep
option.

Signed-off-by: Jeff Smith <whydoubt at gmail.com>
---
 ui-log.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ui-log.c b/ui-log.c
index 245d064..2d2bb31 100644
--- a/ui-log.c
+++ b/ui-log.c
@@ -436,7 +436,7 @@ void cgit_print_log(const char *tip, int ofs, int cnt, char *grep, char *pattern
 	setup_revisions(rev_argv.argc, rev_argv.argv, &rev, NULL);
 	load_ref_decorations(DECORATE_FULL_REFS);
 	rev.show_decorations = 1;
-	rev.grep_filter.regflags |= REG_ICASE;
+	rev.grep_filter.ignore_case = 1;
 
 	rev.diffopt.detect_rename = 1;
 	rev.diffopt.rename_limit = ctx.cfg.renamelimit;
-- 
2.9.4