Closed jgrewe closed 9 years ago
collaborative fix of bug #495
I restarted the CI twice but still coveralls is not working. Should we merge it anyway?
wait for a moment, I will add the respective test cases and then we will see again
collaborative fix of bug #495