Use random_number rather than random, for external server distribution. Bug 2694
[exim.git] / .gitattributes
2018-02-25 Phil Pennockmeta: git controls for text changelogs; github controls