Merge branch 'jk/date-c-double-semicolon'
authorJunio C Hamano <gitster@pobox.com>
Wed, 30 Oct 2013 19:11:01 +0000 (12:11 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 30 Oct 2013 19:11:01 +0000 (12:11 -0700)
* jk/date-c-double-semicolon:
drop redundant semicolon in empty while

1  2 
date.c
diff --cc date.c
Simple merge