Merge pull request #2208 from martin-frbg/munmap-debug
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Fri, 9 Aug 2019 05:55:35 +0000 (07:55 +0200)
committerGitHub <noreply@github.com>
Fri, 9 Aug 2019 05:55:35 +0000 (07:55 +0200)
Provide more information on mmap/munmap failure


Trivial merge