Merge proposals

gdb-doc in Ubuntu has no merge proposals.