Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Change back default allocator to pooled.
Motivation: While porting some changes from 4.0 to 4.1 and master branch I changed the default allocator from pooled to unpooled by mistake. This should be reverted. The guilty commit is 4a3ef90. Thanks to @blucas for spotting this. Modifications: Revert changes related to allocator. Result: Use the correct default allocator again.
- Loading branch information