Verified Commit f5d604d7 authored by Mattia Rizzolo's avatar Mattia Rizzolo
Browse files

jenkins: let jenkins umount another directory

needed after 8139f77f



Signed-off-by: Mattia Rizzolo's avatarMattia Rizzolo <mattia@debian.org>
parent e6c13507