Hi Tassilo,

Tassilo Horn <tsdh@gnu.org> writes:
> I've just released GNU AUCTeX 11.88.7 on ELPA, and the problem should be
> fixed now.  Please test and report back if if works now.

I can confirm that your changes solve the problem for me.

Thank you,

Joseph