Merge proposals

ToriOS has no merge proposals.