Merge proposals

gtk-doc has no merge proposals.