Commit ec197f90 authored by Geoff Simmons's avatar Geoff Simmons

Add random_int() to the SYNOPSIS.

parent 373e5aea
Pipeline #226 skipped