Updates:
Labels: -Patch-countdown Patch-push
Comment #9 on issue 2611 by [email protected]: Patch: delete unused
properties: extra-[XY]-extent
http://code.google.com/p/lilypond/issues/detail?id=2611
Counted down to 20120830, please push.
