Merge proposals

Auctex has no merge proposals.