Commit 3796465f authored by Jan Kiene's avatar Jan Kiene
Browse files

increase timeout to be safe for good runs

parent 387f6098