mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-23 23:59:22 +00:00
* gettext/gettext.c (grub_gettext_init_ext): Replace grub_printf with grub_dprintf.
* gettext/gettext.c (grub_gettext_init_ext): Replace grub_printf with grub_dprintf.