Merge proposals

gnuflag maintainers has no merge proposals.