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
+59-2

Commits