Merge pull request #233 from berkerpeksag/mremap
authorTom Tromey <tom@tromey.com>
Wed, 18 May 2016 16:08:59 +0000 (10:08 -0600)
committerTom Tromey <tom@tromey.com>
Wed, 18 May 2016 16:08:59 +0000 (10:08 -0600)
Define _GNU_SOURCE on Linux for mremap()


Trivial merge