Commit b663d8b3 authored by Christian Rohlfing's avatar Christian Rohlfing
Browse files

Bugfixes in batch.py

parent 959c35a8
Pipeline #455330 failed with stage
in 1 minute and 37 seconds