On: Ripgrep 13.0

[joshspankit]

THANK YOU FOR PROVIDING A “If you have not heard of _____ before, this is what it does” LINE RIGHT IN THE RELEASE NOTES.

Seriously: the amount of time I’ve spent trying to figure out what something does after clicking an interesting HN headline just boggles me.

I feel like I want to start using ripgrep just because of that line.

[burntsushi → joshspankit]

You're welcome. :) Someone suggested it long ago, and adding that blurb is specifically part of my release process: https://github.com/BurntSushi/ripgrep/blob/master/RELEASE-CH...