Skip to content

Conversation

@ferki
Copy link
Member

@ferki ferki commented Feb 5, 2025

This PR is a proposal to close #1605 by applying the original commit by @gregoa with additional credits to @mestia as co-author.

Despite GitHub says “Maintainers are allowed to edit this pull request” on the original pull request, it refuses to allow me to update that accordingly. Hence I decided to re-apply the same agreed-upon changes via a separate pull request.

Checklist

  • based on top of latest source code
  • changelog entry included
  • automated tests pass
  • git history is clean
  • git commit messages are well-written

Co-authored-by: Alex Mestiashvili <mestia@debian.org>
Copy link
Contributor

@gregoa gregoa 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 to me, thanks.

@ferki ferki merged commit 02e378b into master Feb 5, 2025
92 checks passed
@ferki ferki deleted the fix_typos branch February 5, 2025 19:04
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