Skip to content
This repository has been archived by the owner on Aug 18, 2020. It is now read-only.

Doc fixes #3846

Merged
merged 2 commits into from
Nov 14, 2018
Merged

Doc fixes #3846

merged 2 commits into from
Nov 14, 2018

Conversation

rvl
Copy link
Contributor

@rvl rvl commented Nov 9, 2018

Description

Addresses questions/comments from some community members.

This is for the release/2.0.0 branch.

Linked issue

Type of change

  • Documentation fix

@rvl rvl requested a review from a team November 9, 2018 10:35
@rvl rvl merged commit d6f7126 into release/2.0.0 Nov 14, 2018
@rvl rvl deleted the rvl/doc-fixes branch November 14, 2018 01:31
@rvl
Copy link
Contributor Author

rvl commented Nov 14, 2018

Thanks

iohk-bors bot added a commit that referenced this pull request Dec 21, 2018
3972: Cherry-picks from release/2.0.0 branch to develop r=rvl a=rvl

These are cherry-picks of the PRs: #3811 #3816 #3817 #3831 #3846 #3867 #3879 #3883 #3919 #3934 #3936 #3946 #3962.

Co-authored-by: Rodney Lorrimar <[email protected]>
Co-authored-by: Karl Knutsson <[email protected]>
Co-authored-by: Michael Hueschen <[email protected]>
Co-authored-by: Alexander Diemand <[email protected]>
Co-authored-by: KtorZ <[email protected]>
Co-authored-by: Rupert Horlick <[email protected]>
Co-authored-by: Luke Nadur <[email protected]>
Co-authored-by: Jordan Millar <[email protected]>
Co-authored-by: Marcin Szamotulski <[email protected]>
Co-authored-by: Samuel Leathers <[email protected]>
Co-authored-by: Jean-Christophe Mincke <[email protected]>
@KtorZ KtorZ mentioned this pull request Jan 4, 2019
12 tasks
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants