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

Fix minor bugs (already fixed in V11) #145

Closed
marcboulle opened this issue Feb 1, 2024 · 1 comment
Closed

Fix minor bugs (already fixed in V11) #145

marcboulle opened this issue Feb 1, 2024 · 1 comment
Assignees
Labels
Type/Bug Something isn't working
Milestone

Comments

@marcboulle
Copy link
Collaborator

Report pragmatique de quelques corrections de bugs déjà traité pour la V11
Uniquement si impact dans le code faible très localisé et amélioration perceptible par les utilisateurs

@marcboulle marcboulle added the Type/Bug Something isn't working label Feb 1, 2024
@marcboulle marcboulle added this to the v10.2.0 milestone Feb 1, 2024
@marcboulle marcboulle self-assigned this Feb 1, 2024
@folmos-at-orange
Copy link
Member

Fixed in #146

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Type/Bug Something isn't working
Projects
None yet
Development

When branches are created from issues, their pull requests are automatically linked.

2 participants