Merge proposals

ert-async-el in Ubuntu has no merge proposals.