Norman Maurer ef572d859d 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 4a3ef90381. Thanks to @blucas for spotting this. Modifications: Revert changes related to allocator. Result: Use the correct default allocator again.		2014-08-13 12:07:06 +02:00
..
src	Change back default allocator to pooled.	2014-08-13 12:07:06 +02:00
pom.xml	[maven-release-plugin] prepare for next development iteration	2014-07-04 17:26:02 +09:00