Merge proposals

GNOME Pad has no merge proposals.