Remove hacks for ripgrep issue (closes #47) (!134) · Merge requests · bob / bob.devtools · GitLab

Snippets Groups Projects

Merged André Anjos requested to merge issue-47-ripgrep-hack-removal into master 5 years ago

Removing hack... Closes #47 (closed)

Activity

André Anjos enabled an automatic merge when the pipeline for 66d4591e succeeds 5 years ago

enabled an automatic merge when the pipeline for 66d4591e succeeds
André Anjos merged 5 years ago

merged
André Anjos mentioned in commit d8b547d4 5 years ago

mentioned in commit d8b547d4

Please register or sign in to reply