Merge pull request #3731 from lukeyeager/lmdb-map-full
authorEvan Shelhamer <shelhamer@imaginarynumber.net>
Mon, 25 Apr 2016 21:20:30 +0000 (14:20 -0700)
committerEvan Shelhamer <shelhamer@imaginarynumber.net>
Mon, 25 Apr 2016 21:20:30 +0000 (14:20 -0700)
dynamically set LMDB map size (double when full)


Trivial merge