Skip to content

Merge some rc/1.23 documentation changes into master#2877

Merged
shati-patel merged 17 commits intogithub:masterfrom
jf205:123-mergeback
Feb 19, 2020
Merged

Merge some rc/1.23 documentation changes into master#2877
shati-patel merged 17 commits intogithub:masterfrom
jf205:123-mergeback

Conversation

@jf205
Copy link
Contributor

@jf205 jf205 commented Feb 19, 2020

Nothing but documentation changes. One trivial conflict to resolve.

Shati Patel and others added 17 commits February 10, 2020 17:48
(cherry picked from commit fe18c18)
(cherry picked from commit e8016a2)
(cherry picked from commit 537739c)
Co-Authored-By: shati-patel <42641846+shati-patel@users.noreply.github.com>
(cherry picked from commit 47f61f3)
(cherry picked from commit c431d47)
(cherry picked from commit c91815f)
docs: port some more changes onto rc/1.23
(cherry picked from commit 3fb3b9b)
(cherry picked from commit 142106b)
docs: continue reorganizing 'Advanced QL' (rc/1.23)
Copy link
Contributor

@shati-patel shati-patel left a comment

Choose a reason for hiding this comment

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

👍

@shati-patel shati-patel merged commit 38be267 into github:master Feb 19, 2020
@jf205 jf205 deleted the 123-mergeback branch March 17, 2020 09:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants