Skip to content

Conversation

artyom-fedosov
Copy link
Contributor

No description provided.

@artyom-fedosov
Copy link
Contributor Author

Hello @doxygen, could you please review the PR?

@doxygen
Copy link
Owner

doxygen commented Oct 7, 2025

Did you see my remark?

@artyom-fedosov
Copy link
Contributor Author

I didn’t see any remarks on the PR.

@doxygen
Copy link
Owner

doxygen commented Oct 7, 2025

I didn’t see any remarks on the PR.

Sorry, my bad. The review was still in a pending state.

@doxygen doxygen merged commit 6578332 into doxygen:master Oct 8, 2025
14 checks passed
@albert-github albert-github added bug fixed but not released Bug is fixed in github, but still needs to make its way to an official release labels Oct 9, 2025
@artyom-fedosov artyom-fedosov deleted the improvement/optimization branch October 10, 2025 19:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug fixed but not released Bug is fixed in github, but still needs to make its way to an official release

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants