index.php: Update the developer list
commit8013e7b8ca8905bb038230ebaaf2caf05afc1ad7
authorH. Peter Anvin <hpa@linux.intel.com>
Mon, 20 Oct 2014 21:13:24 +0000 (20 14:13 -0700)
committerH. Peter Anvin <hpa@linux.intel.com>
Mon, 20 Oct 2014 21:13:24 +0000 (20 14:13 -0700)
tree3ff5194e2f47791954ba824eecc5d2e03e1bec8b
parent88a0965c03eeae398ebcece678cb02d16a96f215
index.php: Update the developer list

Remove Jin, add Jim...
index.php