Verified Commit f161383f authored by Jakob Moser's avatar Jakob Moser
Browse files

Avoid threading (which makes stuff non-deterministic and me sad)

parent 4ff53bbd