tree cdf94fe36ffed904add893f1b359a3f8acdc65e0
parent 8f278476ac82ae833ab510ddc92043054ff15224
author Vladimir Milovanović <barun@eecs.berkeley.edu> 1608286720 +0100
committer Vladimir Milovanović <barun@eecs.berkeley.edu> 1608286720 +0100

Decreased travis_wait to 45 minutes.