0ff5acc Merge note on time randomization effectivity

Merged and Committed by Libor Polčák 3 years ago
    Merge note on time randomization effectivity
    
        
file modified
+1 -1