renggli/builder — pull request #13 by svenvc (2012-09-03 21:27:04+00:00)
Title: Update scripts/zinc.st

Yet another change needed for older Pharo versions