Norman Maurer 451e6aeb66 [#5216] Correctly increment deallocationsHuge when call PoolArena.free ...

Motivation:

We called deallocationsHuge.decrement() but it needs to be increment()

Modifications:

Replace decrement() with increment()

Result:

Correct metrics.

2016-05-06 21:44:25 +02:00

..

src

[#5216] Correctly increment deallocationsHuge when call PoolArena.free

2016-05-06 21:44:25 +02:00

pom.xml

[maven-release-plugin] prepare for next development iteration

2016-04-04 16:53:40 +02:00