Minor consistency fixes #3

Closed
biodranik wants to merge 2 commits from alex-fixes into master
biodranik commented 2022-07-04 21:27:59 +00:00 (Migrated from github.com)
No description provided.
rtsisyk (Migrated from github.com) reviewed 2022-07-04 21:27:59 +00:00
rtsisyk commented 2022-07-26 07:02:49 +00:00 (Migrated from github.com)

Re-based and merged into master.

Re-based and merged into master.

Pull request closed

Sign in to join this conversation.
No description provided.