Skip to content
This repository has been archived by the owner on Jun 6, 2024. It is now read-only.

Web portal: fix doc link #1844

Merged
merged 1 commit into from
Dec 6, 2018
Merged

Web portal: fix doc link #1844

merged 1 commit into from
Dec 6, 2018

Conversation

Gerhut
Copy link
Member

@Gerhut Gerhut commented Dec 6, 2018

Fixed #1843

@Gerhut Gerhut requested a review from YanjieGao December 6, 2018 07:41
@fanyangCS
Copy link
Contributor

can we issue a hotfix to 0.8.y?

@Gerhut
Copy link
Member Author

Gerhut commented Dec 6, 2018

There is another rendering bug in [email protected], investigating.

@Gerhut Gerhut changed the title Web portal: fix doc link [WIP]Web portal: fix doc link Dec 6, 2018
@Gerhut Gerhut force-pushed the qixcheng/webportal/fix-doc-link branch from 3e57021 to b0af438 Compare December 6, 2018 08:30
@Gerhut Gerhut changed the title [WIP]Web portal: fix doc link Web portal: fix doc link Dec 6, 2018
@Gerhut Gerhut merged commit d5dfab4 into master Dec 6, 2018
Gerhut added a commit that referenced this pull request Dec 6, 2018
Gerhut added a commit that referenced this pull request Dec 7, 2018
@coveralls
Copy link

coveralls commented Dec 8, 2018

Coverage Status

Coverage remained the same at 51.762% when pulling b0af438 on qixcheng/webportal/fix-doc-link into 74d9dc5 on master.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants