BTW, I rebased my branch on top of your patch, and hence on top of
auctex.git's `master`.


        Stefan


Reply via email to