bug#79378: pointless gnulib-tool options

"Brian C. Lane" via Bug reports for the GNU Parted disk partition editor <[email protected]> Fri, 24 Oct 2025 14:41:51 -0700
Newsgroups gmane.comp.gnu.parted.bugs
Message-ID <[email protected]>
I think this can be removed, doesn't look like it has ever actually been
used.

-- 
Brian C. Lane (PST8PDT) - weldr.io - lorax - parted - pykickstart