Commit 4589e373fff0c98840470d28d0271c905eb65d32

Stefan Sperling 2018-03-17T15:41:39

remove mmap() stuff; checkout is fast enough for now