diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-04-14 17:03:34 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-04-14 17:42:08 +0200 |
| commit | 66ec389580d4f1e4b81e1c72afe2749a547a0e7c (patch) | |
| tree | d7d91e34570971da10c232b1cf6996baeb5c7f23 /COPYING | |
| parent | 307ec7324b85e6a56efab4569545a5fd268e7a2a (diff) | |
| download | patches-66ec389580d4f1e4b81e1c72afe2749a547a0e7c.tar patches-66ec389580d4f1e4b81e1c72afe2749a547a0e7c.tar.gz | |
vm: Do not mount /xchg with "cache=loose".
Fixes <https://bugs.gnu.org/33639>.
* gnu/system/vm.scm (%linux-vm-file-systems): Remove "cache=loose" for /xchg.
(system-docker-image): Remove 'sync' call, now unneeded, and which was
probably insufficient.
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions