archbuild.in: umount -l left-over mounts inside the to-be-deleted chroot - devtools32

diff options

author	Erich Eckner <git@eckner.net>	2019-06-16 15:04:56 +0200
committer	Erich Eckner <git@eckner.net>	2020-02-21 08:27:36 +0100
commit	540ba5695557dcf04c25698baf23828f40601c09 (patch)
tree	95c149b884fcfe86e66dd1741beb827558cf8c05 /.github/workflows
parent	9f591dd08871bf4b591604403ccb3e06a76f6c25 (diff)

archbuild.in: umount -l left-over mounts inside the to-be-deleted chrootv20200221

Diffstat (limited to '.github/workflows')

0 files changed, 0 insertions, 0 deletions