[sudo-workers] Converting credits file to Unicode.

[Todd C. Miller]

On Fri, 09 Aug 2013 14:32:33 +0900, Tae Wong wrote:

> One more Czech contributor: Petr Uzel.
> 
> You want to have extended ASCII characters.

I'm not sure which extended characters to use, if any.
The correspondence I have from Petr Uzel uses plain ascii
characters in the name as does his online presence.  So
unless Petr says otherwise, I will leave his entry as-is.

 - todd