mapnik/mapnik — pull request #2415 by hollinger (2014-09-10 11:52:00+00:00)
Title: Change text-margin option to margin

Changing the text-margin option to margin as discussed in #2362.