Andrew's git / gitweb.git / diff
?
Merge branch 'dp/pid-uintmax'
authorJunio C Hamano <gitster@pobox.com>
Wed, 3 Sep 2008 00:45:25 +0000 (17:45 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 3 Sep 2008 00:45:25 +0000 (17:45 -0700)
* dp/pid-uintmax:
cast pid_t's to uintmax_t to improve portability

Trivial merge