The GAP package manager is now loaded automatically at startup by default#5972

fingolfin merged 1 commit intogap-system:mastergap-system/gap:masterfrom

mtorpey:auto-load-packagemanagermtorpey/gap:auto-load-packagemanagerCopy head branch name to clipboard