Skip to content

Conversation

rzats
Copy link
Contributor

@rzats rzats commented Jan 18, 2023

Prerequisites:

  • Unless it is a documentation hotfix it should be merged against the dev branch
  • Branch is up-to-date with the branch to be merged with, i.e. dev
  • Build is successful
  • Code is cleaned up and formatted

Summary

Followup to #1062 adding several missing imports.

Copy link
Contributor

@krivard krivard left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍

@rzats rzats merged commit 7643299 into dev Jan 18, 2023
@rzats rzats deleted the rzatserkovnyi/import-fixes branch January 18, 2023 16:23
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