Hello, There is a bit of confusion in bug submissions. There are at least 3 ways I could find being used:
- debbugs - bug-libt...@gnu.org - https://savannah.gnu.org/support/?group=libtool Although the first 2 are pretty similar, submitting bugs to the mailing list don't make them appear in debbugs, while the other way around does. The project page dedicated to bug submission [1] mentions only the mailing list. But most people (including Alex) seem to use debbugs. Is there any chance for this to be clarified and cleaned ? [1] https://www.gnu.org/software/libtool/contribute.html#bug Frédéric Bérat Senior Software Engineer, Platform Tools Red Hat <https://www.redhat.com> fbe...@redhat.com <https://www.redhat.com>
