[sudo-workers] Converting credits file to Unicode.

[Jakub Hrozek]

On Fri, Aug 09, 2013 at 07:50:24AM -0600, Todd C. Miller wrote:
> 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

For what it's worth, Petr Uzel is a perfectly valid Czech name that has
no non-ASCII characters.