drush-ops/drush — pull request #503 by Berdir (2014-03-06 15:51:38+00:00)
Title: Remove getDefaultTheme()

The method no longer exists, left-over from a feature that has been removed in Drupal 7 already.