Merge proposals

stereohead has no merge proposals.