tree d7019db63a1c9a7d49a87ce13a637fb36151ad39
parent f5a86a272557dca541559013977041b8b3d67128
author Vladimir Milovanović <barun@eecs.berkeley.edu> 1608296179 +0100
committer Vladimir Milovanović <barun@eecs.berkeley.edu> 1608296179 +0100

Increased travis_wait to 41 minutes.