Skip to content

Conversation

fchapoton
Copy link
Contributor

just a small refreshing of the modified file, with minor changes in doc and code

📝 Checklist

  • The title is concise and informative.
  • The description explains in detail what this PR is about.

Copy link
Member

@S17A05 S17A05 left a comment

Choose a reason for hiding this comment

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

Just one small thing, otherwise LGTM.

Copy link

github-actions bot commented Mar 7, 2024

Documentation preview for this PR (built with commit a818d2e; changes) is ready! 🎉

Copy link
Member

@S17A05 S17A05 left a comment

Choose a reason for hiding this comment

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

Thanks, LGTM.

@vbraun vbraun merged commit 8af3c37 into sagemath:develop Mar 31, 2024
@fchapoton fchapoton deleted the refresh_sha_tate branch April 1, 2024 07:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants