Use random_number rather than random, for external server distribution. Bug 2694
[exim.git] / .github /
drwxr-xr-x   ..
-rw-r--r-- 1736 ISSUE_TEMPLATE.md
-rw-r--r-- 1714 PULL_REQUEST_TEMPLATE.md