tree e81c34ee9e46fe3db2775124fe72f3acb559afca
parent 03ea46c506eaa1456b724f465b92ceed1509f21f
author Akron <nils@diewald-online.de> 1605720252 +0100
committer Akron <nils@diewald-online.de> 1605720252 +0100

Handle timeexceeded correctly in exports

Change-Id: I5a35ad8c61102db57cec2f0323e6972a925ac7a7