Merge proposals

GNUbik has no merge proposals.