Merge proposals

gnat-gps in Ubuntu has no merge proposals.