karlproject/karl — pull request #110 by pauleveritt (2012-12-06 17:23:00+00:00)
Title: fix wrapping problem with my profile pushdown

Looks good on karldev.