Hi Mosè,

>>>>> Mosè Giordano <m...@gnu.org> writes:

> I think your proposal makes sense, but I'm wondering whether it's
> better to completely remove a function not used in AUCTeX that doesn't
> even do correctly what it should.

That sounds reasonable to me.

> Ok, this can be done later (AUCTeX 12?), so please go ahead with your
> fix.

OK, done.

Bye,
Ikumi Keita

_______________________________________________
auctex-devel mailing list
auctex-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/auctex-devel

Reply via email to