Skip to content
This repository has been archived by the owner on Feb 24, 2023. It is now read-only.

Last UI fixes #37

Merged
merged 3 commits into from
Jan 9, 2022
Merged

Last UI fixes #37

merged 3 commits into from
Jan 9, 2022

Conversation

a-barzanti
Copy link
Contributor

@a-barzanti a-barzanti commented Jan 9, 2022

Changes

Latest fixes.

Checklist

  • My code follows the style guidelines of this project
  • I have performed a self-review of my own code
  • I have made corresponding changes to the documentation
  • My changes generate no new warnings

Tests

  • Automated tests have been added
  • This PR does not require tests

@a-barzanti a-barzanti changed the base branch from master to env-work January 9, 2022 14:14
@a-barzanti a-barzanti merged commit 89a8d65 into env-work Jan 9, 2022
@a-barzanti a-barzanti deleted the last-ui-fixes branch January 9, 2022 16:48
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant