Merge proposals

lua-doc in Ubuntu has no merge proposals.