Skip to content

Fix: documentation problems#882

Merged
belletva merged 1 commit into
GlacioHack:mainfrom
marinebcht:fix_doc_profiling
Apr 16, 2026
Merged

Fix: documentation problems#882
belletva merged 1 commit into
GlacioHack:mainfrom
marinebcht:fix_doc_profiling

Conversation

@marinebcht
Copy link
Copy Markdown
Contributor

No description provided.

Copy link
Copy Markdown
Contributor

@belletva belletva left a comment

Choose a reason for hiding this comment

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

Good for me

Copy link
Copy Markdown
Member

@rhugonnet rhugonnet left a comment

Choose a reason for hiding this comment

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

Good catch!

@belletva belletva merged commit 29e8bfc into GlacioHack:main Apr 16, 2026
33 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants