jenkins: increase timeout for w32 tests
authorJustus Winter <justus@g10code.com>
Thu, 10 Aug 2017 09:41:05 +0000 (11:41 +0200)
committerJustus Winter <justus@g10code.com>
Thu, 10 Aug 2017 09:41:05 +0000 (11:41 +0200)
commit904ba293ec7ee27f4636b04cc7ca8bc94bbc0f14
tree433d7490de4c5989963d3ca98cfe690a99915003
parentdae1c1897fa2b47b055748192c1bba59aa288af2
jenkins: increase timeout for w32 tests
misc/jenkins/bin/run-tests-w32.bash