Skip to content

Conversation

ladisgin
Copy link
Member

No description provided.

@ladisgin ladisgin requested a review from sava-cska February 27, 2023 15:17
@ladisgin ladisgin linked an issue Feb 27, 2023 that may be closed by this pull request
@ladisgin ladisgin marked this pull request as ready for review February 27, 2023 15:17
@ladisgin ladisgin merged commit 209ebd5 into main Feb 28, 2023
@ladisgin ladisgin deleted the ladisgin/update_bear branch February 28, 2023 09:15
Nypiaka pushed a commit that referenced this pull request Feb 28, 2023
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.

No commands, then one file is compiled several times
2 participants