tree e41b57b30d397304734516d1aef3d3db5d607446
parent 8f87d548b6c1fad5f13886f2b1a5acba2764f3b3
parent 06bdc23b7e5b20ab06bf0feb3d463d032978992f
author Junio C Hamano <gitster@pobox.com> 1397845064 -0700
committer Junio C Hamano <gitster@pobox.com> 1397845065 -0700

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