Commit 0f85c208406ef10e2f1c7fea6fb42ef52fe65134

Carlos Martín Nieto 2013-04-29T04:13:42

Merge pull request #1512 from carlosmn/push-delete-only Fix push for delete-only and add travis rules to test it