Skip to content

Incomplete title on wiki home#979

Merged
AlexanderSehr merged 1 commit intomainfrom
MariusStorhaug-patch-1
Feb 7, 2022
Merged

Incomplete title on wiki home#979
AlexanderSehr merged 1 commit intomainfrom
MariusStorhaug-patch-1

Conversation

@MariusStorhaug
Copy link
Copy Markdown
Contributor

Change

Completed the title in wiki home.

Type of Change

Please delete options that are not relevant.

  • Bug fix (non-breaking change which fixes an issue)
  • New feature (non-breaking change which adds functionality)
  • Breaking change (fix or feature that would cause existing functionality to not work as expected)
  • This change requires a documentation update (Wiki)

Checklist

  • I'm sure there are no other open Pull Requests for the same update/change
  • My corresponding pipelines / checks run clean and green without any errors or warnings
  • My code follows the style guidelines of this project
  • I have commented my code, particularly in hard-to-understand areas
  • I have made corresponding changes to the documentation (readme)
  • I did format my code

@MariusStorhaug MariusStorhaug self-assigned this Feb 6, 2022
@MariusStorhaug MariusStorhaug added this to the v 0.4 milestone Feb 7, 2022
@MariusStorhaug MariusStorhaug added bug Something isn't working documentation Improvements or additions to documentation labels Feb 7, 2022
@AlexanderSehr AlexanderSehr merged commit 97e1d03 into main Feb 7, 2022
@AlexanderSehr AlexanderSehr deleted the MariusStorhaug-patch-1 branch February 7, 2022 10:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants