Use random_number rather than random, for external server distribution. Bug 2694
authorHeiko Schlichting <heiko@fu-berlin.de>
Fri, 19 Feb 2021 11:16:10 +0000 (11:16 +0000)
committerJeremy Harris <jgh146exb@wizmail.org>
Fri, 19 Feb 2021 11:55:56 +0000 (11:55 +0000)

No differences found