Skip to content

Make propagation stops sooner if time limit is met (fix issue #1062)#1064

Open
ArthurGodet wants to merge 2 commits intomasterfrom
improvedTimeLimit
Open

Make propagation stops sooner if time limit is met (fix issue #1062)#1064
ArthurGodet wants to merge 2 commits intomasterfrom
improvedTimeLimit