Merge branch 'nd/push-no-thin'
authorJunio C Hamano <gitster@pobox.com>
Wed, 11 Sep 2013 21:56:58 +0000 (14:56 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 11 Sep 2013 21:56:59 +0000 (14:56 -0700)
"git push --no-thin" was a no-op by mistake.

* nd/push-no-thin:
push: respect --no-thin

No differences found