ThomasV 71d97eeecc shorter timeouts in synchronizer, so that it terminates properly

2014-07-29 12:23:42 +02:00

7.3 KiB

Raw Blame History

View Raw