9ef68f
Update ripgrep to version 13.0.0 / rev 10 via SR 979190 https://build.opensuse.org/request/show/979190 by user jubalh + dimstar_suse