Follow-up Comment #36, task #15583 (project administration): Indeed, you make a good point. I've suggested on the mailing list that they update the documentation. In any case, if you have further input, I think you should reply on the mailing list <https://lists.gnu.org/archive/html/bug-gnulib/2020-05/msg00168.html>. This isn't the best place to discuss this. :-)
_______________________________________________________ Reply to this item at: <https://savannah.nongnu.org/task/?15583> _______________________________________________ Message sent via Savannah https://savannah.nongnu.org/