jhedstrom/drupalextension — pull request #15 by vincenzodibiaggio (2013-08-30 14:12:37+00:00)
Title: added the possibility to use drupal driver and drush driver at same time

I have also sent a patch: https://drupal.org/node/2077861