Merge proposals

gap-autpgrp in Ubuntu has no merge proposals.