Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

fix indent #220

Merged
merged 1 commit into from
Jan 30, 2020
Merged

fix indent #220

merged 1 commit into from
Jan 30, 2020

Conversation

zippolyte
Copy link
Contributor

What does this PR do?

fix indentation after #180

Review checklist (to be filled by reviewers)

  • Feature or bug fix MUST have appropriate tests (unit, integration, etc...)
  • PR title must be written as a CHANGELOG entry (see why)
  • Files changes must correspond to the primary purpose of the PR as described in the title (small unrelated changes should have their own PR)
  • PR must have one changelog/ label attached. If applicable it should have the backward-incompatible label attached.
  • PR should not have do-not-merge/ label attached.
  • If Applicable, issue must have kind/ and severity/ labels attached at least.

@zippolyte zippolyte added the changelog/no-changelog Changes don't appear in changelog label Jan 30, 2020
@zippolyte zippolyte requested a review from a team as a code owner January 30, 2020 14:49
@gzussa gzussa merged commit 51c09a2 into master Jan 30, 2020
@gzussa gzussa deleted the hippo/indent branch January 30, 2020 14:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@gzussa gzussa gzussa approved these changes

Assignees
No one assigned
Labels
changelog/no-changelog Changes don't appear in changelog
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@zippolyte @gzussa