[bug #56725] Document net_dhcp command

2024-08-07 Thread Andrew Hamilton
Follow-up Comment #1, bug #56725 (group grub): This appears to have been corrected by this commit: https://git.savannah.gnu.org/cgit/grub.git/commit/docs/grub.texi?id=3ea9bc3c06f7b86ef4e478f376fba97e6352d823 Suggest to close this. ___ Rep

[bug #56725] Document net_dhcp command

2019-08-06 Thread Heinrich Schuchardt
URL: Summary: Document net_dhcp command Project: GNU GRUB Submitted by: xypron Submitted on: Tue 06 Aug 2019 10:32:52 PM CEST Category: Documentation Severity: Major