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>	2022-06-07 06:38:46 +0200
commit	71336814fb0a459827ce3e47fa397ea51fab0590 (patch)
tree	ff3f1879a616c54b0292e411286ab4261fa6160c /.github/workflows
parent	9244767af8e00205b0159da9d751b5043ae31ddd (diff)

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

Diffstat (limited to '.github/workflows')

0 files changed, 0 insertions, 0 deletions