Drush Make does not remove .git directories for core and libraries

Specifying the following in the make file

libraries[leaflet][type] = "libraries"
libraries[leaflet][download][type] = "git"
libraries[leaflet][download][url] = "git://github.com/CloudMade/Leaflet.git"
libraries[leaflet][download][tag] = "v0.4.5"

does and without using the --working-copy option does not remove the .git repository after "drush make". It does so correctly for modules, but not for libraries.

Confirmed that drush 5.7 does this correct though, and it seems the change from

if (!$wc && file_exists($tmp_location . '/.git')) {
  drush_delete_dir($tmp_location . '/.git', TRUE);
 }

to

if (!$wc && file_exists($download_location . '/.git')) {
    drush_register_file_for_deletion($download_location . '/.git');
 }

is responsible.