This caused Jenkins to hang twice: https://lpci.wedontsleep.org/job/devel/1062/console
With lifeless' new fix it is happy again.
This caused Jenkins to hang twice: https:/ /lpci.wedontsle ep.org/ job/devel/ 1062/console
With lifeless' new fix it is happy again.