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
Improve statistic name and add collection name plural to FindStat interface #19307
Comments
New commits:
|
Changed keywords from none to FindStat |
Commit: |
Author: Christian Stump |
Branch pushed to git repo; I updated commit sha1. New commits:
|
comment:4
Should we then remove all the tabulation from this ticket? Also, does it sound right to merge |
Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
|
Dependencies: #19296 |
Branch pushed to git repo; I updated commit sha1. New commits:
|
Branch pushed to git repo; I updated commit sha1. New commits:
|
Branch pushed to git repo; I updated commit sha1. New commits:
|
Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
|
Branch pushed to git repo; I updated commit sha1. New commits:
|
Reviewer: Frédéric Chapoton |
comment:12
ok, let it be |
Changed dependencies from #19296 to none |
Changed branch from u/stumpc5/improve_statistic_name_and_add_collection_name_plural_to_findstat_interface to |
CC: @mantepse
Component: interfaces: optional
Keywords: FindStat
Author: Christian Stump
Branch/Commit:
e94f996
Reviewer: Frédéric Chapoton
Issue created by migration from https://trac.sagemath.org/ticket/19307
The text was updated successfully, but these errors were encountered: