> + proper_name ("The King"), \
The King is not a joke, though it is confusing. An olden-days GNU
contributor used that for his handle. I believe his full name is in the
documentation. See [email protected] entries in ChangeLog.O.karl
> + proper_name ("The King"), \
The King is not a joke, though it is confusing. An olden-days GNU
contributor used that for his handle. I believe his full name is in the
documentation. See [email protected] entries in ChangeLog.O.karl