mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-26 09:10:53 +00:00
Vladimir 'phcoder' Serbinenko
cf1adfdff5
grub_gettext_delete_list before changing grub_gettext_max to avoid running out of array bounds.