small cleanup in CREDITS#12

jankeromnes wants to merge 1 commit intotorvalds:mastertorvalds/linux:masterfrom

jankeromnes:masterjankeromnes/linux:masterCopy head branch name to clipboard