HomeSoftware Heritage

Move origin_visit_get_random to the right place in the code and fix its…

Authored by vlorentz on Dec 12 2019, 7:09 PM.