Skip to content
This repository has been archived by the owner on Dec 8, 2022. It is now read-only.

[DOCS] logo change #60

Merged
merged 1 commit into from
Sep 1, 2020
Merged

[DOCS] logo change #60

merged 1 commit into from
Sep 1, 2020

Conversation

robcohen
Copy link
Contributor

  • change to logo on docs

@robcohen robcohen requested a review from ksaric August 20, 2020 18:40
ksaric
ksaric approved these changes Sep 1, 2020
View reviewed changes
Copy link
Contributor

@ksaric ksaric left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM.

@ksaric
Copy link
Contributor

ksaric commented Sep 1, 2020

bors r+

@iohk-bors
Copy link
Contributor

iohk-bors bot commented Sep 1, 2020

Build succeeded

@iohk-bors iohk-bors bot merged commit 4053d53 into master Sep 1, 2020
@iohk-bors iohk-bors bot deleted the logo-change branch September 1, 2020 12:49
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@ksaric ksaric ksaric approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@robcohen @ksaric