gordon chung 1bca96ff78 fix override_pool_size
related to Id3af696193af2ccf5e5f3a1ae1d22f4f80860606. we need to make
override_pool_size accessible for external use.

Change-Id: I686c8c341f117dbc0b02443306395d5fd011c2f1
2016-02-18 16:29:30 +00:00
..
2015-12-08 09:14:20 +01:00
2016-02-18 16:29:30 +00:00