Skip to content

Conversation

@jlin27
Copy link
Contributor

@jlin27 jlin27 commented Oct 15, 2019

Tested locally. Should render as such:
image

@jlin27 jlin27 requested a review from zou3519 October 15, 2019 19:08
@zou3519
Copy link
Contributor

zou3519 commented Oct 15, 2019

We should probably cherry pick all of the docs changes (and this change after it lands on master) to v1.3.0 in one big PR to avoid merge conflicts

Copy link
Contributor

@zou3519 zou3519 left a comment

Choose a reason for hiding this comment

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

Tests are failing for unrelated reasons

@zou3519 zou3519 merged commit 50c90a2 into v1.3.0 Oct 18, 2019
@jlin27 jlin27 deleted the jlin27-index-update-1.3.0 branch January 13, 2020 18:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants