Merge proposals

libgnatcoll-bindings in Ubuntu has no merge proposals.