Commit 571b1ca6277dbafc1f340a59ea1c5ee4ddb11c94

Tom Tromey 2016-05-18T10:08:59

Merge pull request #233 from berkerpeksag/mremap Define _GNU_SOURCE on Linux for mremap()