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>	2019-09-13 09:22:11 +0200
commit	c6d4dce1ff024a3c2d943af017ae933f8010bbeb (patch)
tree	a88fd18d356bc47c91480eca69f5c6b18cb8d9ee /.github/workflows
parent	81923f50ac597ddbdacc221516d80a161b20e77d (diff)

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

Diffstat (limited to '.github/workflows')

0 files changed, 0 insertions, 0 deletions