Skip to content

Conversation

@mfranzke
Copy link
Member

No description provided.

@mfranzke mfranzke added the documentation Improvements or additions to documentation label Apr 12, 2023
@mfranzke mfranzke added this to the Release 1.0 milestone Apr 12, 2023
@mfranzke mfranzke self-assigned this Apr 12, 2023
@mfranzke mfranzke enabled auto-merge (squash) April 12, 2023 04:40
@github-actions github-actions bot added the repo label Apr 12, 2023
@github-actions
Copy link
Contributor

🔭🐙🐈 Test this branch here: https://db-ui.github.io/elements/review/chore-updated-copyright-year

@mfranzke mfranzke requested review from nmerget and removed request for nmerget April 12, 2023 07:18
@mfranzke mfranzke merged commit 86e72a7 into main Apr 14, 2023
@mfranzke mfranzke deleted the chore-updated-copyright-year branch April 14, 2023 06:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation repo

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants