Merge pull request #16251 from pwuertz:rtrees_set_rng
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Sun, 29 Dec 2019 22:30:39 +0000 (22:30 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Sun, 29 Dec 2019 22:30:39 +0000 (22:30 +0000)

Trivial merge