Skip to content

Fixexportfilenames#25

Merged
Manuel-Knepper merged 3 commits intomainfrom
fixexportfilenames
May 6, 2026
Merged

Fixexportfilenames#25
Manuel-Knepper merged 3 commits intomainfrom
fixexportfilenames

Conversation

@mszell
Copy link
Copy Markdown
Member

@mszell mszell commented May 6, 2026

Description

Fixing a bug, a warning, and minor polishing

Related Issue

n/a

Type of Change

  • 🐛 Bug fix (non-breaking change that fixes an issue)
  • ✨ New feature (non-breaking change that adds functionality)
  • 💥 Breaking change (fix or feature that would cause existing functionality to change)
  • 📝 Documentation update
  • 🧹 Code refactor (no functional changes)
  • ✅ Test update

How Has This Been Tested?

  • Unit tests
  • Integration tests
  • Manual testing

Test configuration:

  • OS:

Screenshots (if applicable)

Checklist

all applicable

  • My code follows the project's style guidelines
  • I have performed a self-review of my own code
  • I have commented my code, particularly in hard-to-understand areas
  • I have updated the documentation
  • My changes generate no new warnings
  • I have added tests that prove my fix/feature works
  • New and existing tests pass locally

Additional Notes

@mszell mszell requested a review from Manuel-Knepper May 6, 2026 12:44
Copy link
Copy Markdown
Member

@Manuel-Knepper Manuel-Knepper 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!

@Manuel-Knepper Manuel-Knepper merged commit 3e29e06 into main May 6, 2026
4 checks passed
@Manuel-Knepper Manuel-Knepper deleted the fixexportfilenames branch May 6, 2026 12:51
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.

2 participants