Merge proposals

opentk in Ubuntu has no merge proposals.