Merge proposals

zeek-aux in Ubuntu has no merge proposals.