K 10
svn:author
V 3
jrm
K 8
svn:date
V 27
2019-04-02T11:21:16.822263Z
K 7
svn:log
V 223
Add to the list of developer alumni

Add these developers, whose commit bits were taken in for safekeeping, to
the list of developer alumni.

Approved by:	doc (bcr)
Differential Revision:	https://reviews.freebsd.org/D19785

END