Merge branch 'jk/config-die-bad-number-noreturn'

Squelch a false compiler warning from older gcc. * jk/config-die-bad-number-noreturn: config.c: mark die_bad_number as NORETURN

Junio C Hamano committed Apr 18, 2014 at 11:17 UTC 531675ad172f984a6dbc2ac840caaf6ba1015eb0

No changes.