]> git-server-git.apps.pok.os.sepia.ceph.com Git - ceph.git/commitdiff
Merge pull request #38023 from zdover23/wip-doc-dev-guide-essentials-nov-2020
authorJosh Durgin <jdurgin@redhat.com>
Fri, 13 Nov 2020 01:25:43 +0000 (17:25 -0800)
committerGitHub <noreply@github.com>
Fri, 13 Nov 2020 01:25:43 +0000 (17:25 -0800)
doc/dev: update essentials.rst nov 2020

Reviewed-by: Josh Durgin <jdurgin@redhat.com>

Trivial merge