Commit 373e5aea authored by Geoff Simmons's avatar Geoff Simmons

Add the random_int() function.

parent 521844db
Pipeline #225 skipped