Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

This is a continuation of #5577 removing more unused function arguments #5587

Merged
merged 14 commits into from
Jan 23, 2024

Conversation

james-d-mitchell
Copy link
Contributor

A bunch of further cleanups arising from analyse functions with unused arguments. Again probably best viewed commit by commit.

@fingolfin
Copy link
Member

Seems this needs a rebase now

I'd like to update the description of the function, but I have no idea what it does.
This function isn't used anywhere in the GAP library, or anywhere in the
gap-4.12.2 archive.
The extra arguments were added in 1d7361e in 2013, and removed again
now.
This function isn't used anywhere else in the GAP library, or anywhere else in the
gap-4.12.2 archive.
This function isn't used anywhere else in the GAP library, or anywhere else in the
gap-4.12.2 archive.
This function isn't used anywhere else in the GAP library, or anywhere else in the
gap-4.12.2 archive.
@james-d-mitchell
Copy link
Contributor Author

@fingolfin rebased, and ready for review.

@fingolfin fingolfin added the release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes label Jan 23, 2024
Copy link
Member

@fingolfin fingolfin left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me, thanks!

@fingolfin fingolfin merged commit 5c35346 into gap-system:master Jan 23, 2024
22 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: library
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants