Commit 33d6f46bbbb4fdee110f1cb024a37ed2e46e5e22

Behdad Esfahbod 2018-06-01T17:25:35

[set] Shrink page-map size again