Merge proposals

gio-sharp has no merge proposals.