Christian Kühnel ab5a0b307d extending timeout to 30 minutes ... Deleting branches is slower than I expected...		2020-05-08 15:45:16 +02:00
..
Jenkinsfile	extending timeout to 30 minutes	2020-05-08 15:45:16 +02:00