bug#79378: pointless gnulib-tool options

Fri, 24 Oct 2025 14:42:26 -0700 

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
  • bug#... Bruno Haible via Bug reports for the GNU Parted disk partition editor
    • ... Brian C. Lane
    • ... Brian C. Lane

Reply via email to