Skip to content

Conversation

@gajet5
Copy link
Contributor

@gajet5 gajet5 commented Feb 13, 2024

Fixed a bug in the past pr. Of course, I meant checking the effect on the group and updating it if someone is missing.

@mserajnik
Copy link
Contributor

mserajnik commented Apr 19, 2024

Since I implemented the fix in the same way in #2590 (because I missed this PR), I can confirm this is working. This fixes #2400.

@gajet5 gajet5 closed this by deleting the head repository Sep 15, 2024
@mserajnik
Copy link
Contributor

Did you close this on purpose or by accident? Because this is a legitimate fix, I tested it.

@gajet5
Copy link
Contributor Author

gajet5 commented Sep 15, 2024

Did you close this on purpose or by accident? Because this is a legitimate fix, I tested it.

I moved from github to another control platform. All my pullrequests have been deleted :(.
I should have left the repository on github, I didn't think, I'm sorry.

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