-
Iustin Pop authored
This fixes Debian bug #596347. An alternative would be to also allow the uppercase form, but it's not nice I think. Signed-off-by: Iustin Pop <iustin@google.com> Reviewed-by: Michael Hanselmann <hansmi@google.com>
d4068f64
This fixes Debian bug #596347. An alternative would be to also allow the uppercase form, but it's not nice I think. Signed-off-by: Iustin Pop <iustin@google.com> Reviewed-by: Michael Hanselmann <hansmi@google.com>