summaryrefslogtreecommitdiffstats
path: root/debian
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2015-05-01 12:46:31 +0200
committerHolger Levsen <holger@layer-acht.org>2015-05-01 12:46:31 +0200
commitebec753adc89feb0ff8870d2d2609555f6be87ef (patch)
tree5a399d5996bc93455d5d9f8594b56da6516d4007 /debian
parentfd38fca43df87ee1fb0d763c25046c2e1045b2b4 (diff)
downloadjenkins.debian.net-ebec753adc89feb0ff8870d2d2609555f6be87ef.tar.xz
reproducible: also umount /proc in cleanup()
Diffstat (limited to 'debian')
0 files changed, 0 insertions, 0 deletions