On Thu, Jul 04, 2013 at 03:29:57PM +0200, Justus Winter wrote: > I'm thinking that this might be an opportunity to get rid of the > heuristic in that function. The comment explains the issue:
If you have time, sure, otherwise the heuristic seems to be enough for the time being. -- Richard Braun