dmwm/WMCore — pull request #4334 by dballesteros7 (2012-12-12 17:02:52+00:00)
Title: Fix bug in smart lumi splitter

It failed if the conditions aligned and it was trying to process
a too-big single-lumi file.