heroku/heroku — pull request #1231 by fdr (2014-10-09 01:02:13+00:00)
Title: Deprecate heroku-symbol plugin

The functionality was merged previously in
571b1c5bab511d63f5b9c689576b6f33fee874dd.