Hello everybody, the Debian release 11.88-1 hit unstable, and will soon be available through the Debian mirror network.
-- Thanks, Davide _______________________________________________ auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/auctex
