Skip to content

Conversation

@fredrikekre
Copy link
Member

No description provided.

@fredrikekre fredrikekre added docsystem The documentation building system backport 1.5 labels Jul 30, 2020
@fredrikekre
Copy link
Member Author

cc @mortenpi for review.

@fredrikekre fredrikekre merged commit af39538 into master Jul 31, 2020
@fredrikekre fredrikekre deleted the fe/rc-docs branch July 31, 2020 15:09
@KristofferC KristofferC mentioned this pull request Aug 3, 2020
25 tasks
@KristofferC
Copy link
Member

Unnecessary to backport?

@fredrikekre
Copy link
Member Author

fredrikekre commented Aug 3, 2020

True, we don't make RCs for patch releases.

@KristofferC
Copy link
Member

Might as well since otherwise we get merge conflicts with other backports.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

docsystem The documentation building system

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants