ripgrep/.github
Andrew Gallant 031264e5fb
ci: tweak release name
This is consistent with prior releases.
2020-03-15 22:07:22 -04:00
..
workflows ci: tweak release name 2020-03-15 22:07:22 -04:00