Merge proposals

felix-shell-tui in Ubuntu has no merge proposals.