mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-23 15:49:23 +00:00
cleanup
This commit is contained in:
1 parent
7f18804f07
commit
1a60d363b0
1 file changed
-2
@@ -54,9 +54,7 @@ grub_extcmd_dispatcher (struct grub_command *cmd, int argc, char **args,
|
||||
return ret;
|
||||
}
|
||||
|
||||
if (state)
|
||||
grub_free (state);
|
||||
|
||||
return grub_errno;
|
||||
}
|
||||
|
||||
|
||||
Reference in new issue
Block a user