]> git.plutz.net Git - blast/commit
make sure umount does not run too early
authorPaul Hänsch <paul@plutz.net>
Sun, 14 Jun 2020 17:35:35 +0000 (19:35 +0200)
committerPaul Hänsch <paul@plutz.net>
Sun, 14 Jun 2020 17:35:35 +0000 (19:35 +0200)
commite65b7554c1f7f67030e0843693b42302dd039b50
tree9d5c4e46051c590d834bc7753482fc9217cb3876
parent2995417f0750557d367452bfea69e3d7f070a14e
make sure umount does not run too early
Makefile