Message4429

Author jendrik
Recipients jendrik, malte, silvan
Date 2015-07-24.01:56:24
Content
One thing that should be addressed (maybe even directly in the default branch) is 
that the shrink strategies still use the option value "-1" for specifying "no 
limit". This should probably be changed to "infinity".
History
Date User Action Args
2015-07-24 01:56:24jendriksetmessageid: <1437695784.38.0.826175018831.issue561@unibas.ch>
2015-07-24 01:56:24jendriksetrecipients: + jendrik, malte, silvan
2015-07-24 01:56:24jendriklinkissue561 messages
2015-07-24 01:56:24jendrikcreate