Merge proposals

dietlibc has no merge proposals.