Select rand_rangeXX() variant only based on the requested range#9418
Merged
TimWolla merged 1 commit intophp:masterfrom Aug 25, 2022
rand_rangeXX() variant only based on the requested range#9418