>> Thanks, I'd like to merge them into AUCTeX repository. If nobody >> objects, I'll do it soon. > Merged.
Great, thanks! Stefan
>> Thanks, I'd like to merge them into AUCTeX repository. If nobody >> objects, I'll do it soon. > Merged.
Great, thanks! Stefan